First version of coverage tools.#17

maximebuyse wants to merge 4 commits into

maincryspen/rust-core-models:mainfrom

coverage-toolcryspen/rust-core-models:coverage-toolCopy head branch name to clipboard