dist.ini: changes for Travis
add .travis.yml