Changed .travis.yml: added formating