Travis-CI configuration and minor git ignore update