dev: add coverage reporting to CI and devenv#659

OGKevin merged 1 commit into

masterOGKevin/cadmus:masterfrom

ogkevin/push/zypqptvylsnmOGKevin/cadmus:ogkevin/push/zypqptvylsnmCopy head branch name to clipboard