Put LEANREPO variable in .travis.yml to check the blessed repository inside of travis-ci.

It prevents other users from running heavy tasks on travis and submitting results to cdash server.