Use oslosphinx to generate documentation

Rather than host different and possibly out of date versions of
static and theme files, use oslosphinx to generate the docs.

Change-Id: Ib90dadce3ea89ae869d8d795872d4fc10159cdfc
Merge "Use oslosphinx to generate documentation"