Doc reorganization

This moves dev-docs/ to docs/develop/.

Existing developer documentation in docs/source/ got moved to the new developer docs folder docs/develop/ and the remaining files in docs/source/ (index.rst, conf.py) moved to the root docs/.