Use oslosphinx to generate doc theme

Since oslosphinx is out, let's use it instead of hosting our own
themes and static files.

Change-Id: I5b507d35c90d0c0411d7751935b0e53328ca9311
Merge "Use oslosphinx to generate doc theme"