Travis-CI scheduled cron jobs



TRAVIS_EVENT_TYPE=cron

instead of the usual push.