Merge docs

This pull requests merges the dev and user guides into one Sphinx project.
I believe that mechanism is the right answer to cross linking between platform/plugin docs.