Remove scip/zimpl binaries from shared repository

1 job for remove-scip-binaries in 1 minute and 24 seconds (queued for 4 seconds)