Don't install sphinx for travis (hopefully speeds it up?)