Add CovMark and a test that uses it.#5012

graydon wants to merge 1 commit intostellar:masterstellar/stellar-core:masterfrom

graydon:restore-le-testgraydon/stellar-core:restore-le-testCopy head branch name to clipboard