Make at least some checker tools available on Travis