Switch to Ubuntu-based installation for Travis CI