Turn off redundant travis notifications
Add Overview.html to .gitignore