Add more travis-ci options