Some docstrings
Move user manual to new folder
Sphinx developer manual
More docstrings
User manual subtitle
Dev manual make script
Merge branch 'master' into origin-gh-pages

Conflicts:
	configuration.py
Better developer manual build script
Publish user manual
Publish developer manual