Merge docs

This pull requests merges the dev and user guides into one Sphinx project.
On 10/21/2014 10:51 AM, bmbouter wrote:
> I didn't know about this sphinx extension.

Haha, I didn't either. One of the subprojects had it and the other
didn't, so I just manually combined them.