Travis badge and fixed travis file