clean up dist.ini a bit
update travis.yml