Made the travis-ci script a bit nicer