Install BSD.coverage.dist if MK_COVERAGE == no

This file is basically the same as BSD.debug.dist -- the only different is the
prefix.