Example JSON files should be human-readable

Change-Id: Ic408dd3935818adbef3ff4baa7c9699e4f07814e
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 "Example JSON files should be human-readable"
Merge "Use oslosphinx to generate doc theme"