Reorganise documentation

Move documentation out of source code and into the docs.

Split docs into several smaller files.

Change theme to Read the Docs theme.

Mirror documentation on Read the Docs.