Do minor tweaks to dist.ini to get .travis.yml into the distribution
v12 release (for real this time???)  Had to fix travis stuff