More work on the docs

Should build on non-RPi platforms now (which will be useful for RTD
later..)