Coverage optional in 1.2.x

Tristan Van Berkomrequested to merge
tristan/optional-coverage-1.2 into bst-1.2

Backport of !1189 (merged) (plus fixes included in !1204 (merged) and !1206 (merged)). The fix for #916 (closed) is important for 1.2.

Edited by Tristan Van Berkom

Merge request reports