ci: disabled coverty as they don't support gcc4.8 yet