Use ccache v3: Should hopefully speed things up a bit