Updates to TravisCI config