Travis badge now points at correct repo