add .travis.yml for Travis CI
some cosmetics