Merge docs

This pull requests merges the dev and user guides into one Sphinx project.
I didn't know about this sphinx extension. Nice!