Travis fix

This PR should restore the `SPHINXOPTS` option in the Travis build, effectively failing PRs breaking the build