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: I7eadc8e40aa10cc26cfd6aece6efa5d13fee70b0