Changed extension of travis file