Fixing Travis

Added proper coverage generation.