Block PR merge if the coverage is less

Here is the config file @TomVanBraband