Turn on Travis, and add a dummy "check" target for it