Tweaked travis-ci configuration