added options to the TRAVIS CI