Tell travis to run the type checker