Update coverage settings in Makefile and travis script