Travis-CI tweaks and gitattributes/gitignore tweaks