Add --enable-coverage option to configure