capture coverage stdout and stderr to a .txt file instead of a .log file so that it can be viewed in a browser over http
adjust link to coverage log file to reflect name change