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
Updated from global requirements

Change-Id: Ic3b93f1556d23833eb0c82146c55c1e940bb155f
Merge "Example JSON files should be human-readable"
Merge "Use oslosphinx to generate doc theme"