travis: specify source file for coverage