improving travis-ci configuration