updated travis-ci config