Remove unused subtree update helper scripts (model-checking#325)

We now do all updates via github actions, which neither use the scripts
removed in this commit nor do we do it the same way as those scripts.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: tautschnig