Install option tools in Travis CI to improve coverage.