Install criterion on travis