travis-ci: test with HEAD