Make doc deps optional

Installation takes *ages* (literally an hour+) on the Pi, primarily down
to the documentation dependencies (something to do with using 2to3 for
py3 compat). So, all doc deps are now "extra" which should help with
basic installations