Corrected name of travis configuration file