ci: disable bettercodehub
ci: disable bettercodehub

This tool did not contribute anything but annoying comments on
pull-requests. Time to disable it.

PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild