configuration for precise coverage measurement
changed travis config for correct measurement of coverage