configure.in (enable_coverage): New enable switch.