added usage instructions for coverage
reformat source coverage code for nicer whitespace