Added html-coverage script and adjusted blanket source matching patter