Rearrange the documentation to have user and dev sections

Description

At the moment our documentation has information for end users interspersed with documentation for people looking to develop BuildGrid. This MR rearranges the docs into a user section and a developer section, so that we don't end up with documentation of the BuildGrid internals and development environment scattered in the user documentation.