Added travis.yml (and added it to dist.ini)