Proper travis ci configuration