Travis & coverage: config file for coverage to avoid dependencies sources