travis: build docs on their own
docs: fix SPHINXOPTS naming and quiten doc building
docs: fix header underline