Supply options for doctest to generate hpc coverage reports.