Add Coverex as a dependency.
Use more specific dependency versions.