Fix docs to talk about --enable-coverage