configure travis-ci for coverage