TRAVIS: Install devel versions from GitHub