Merge pull request juju#18591 from SimonRichardson/remove-repl-hack

juju#18591

This removes the old REPL and instead favours the new one. If there are any missing features, we should port them to the new REPL.

> The King is dead, long live the King!

Instead, you should do the following:

```
$ juju ssh -m controller 0
$ sudo /var/lib/juju/tools/machine-0/jujud db-repl --machine-id 0
```

scripts/dqlite/Makefile

@@ -36,20 +36,3 @@ musl-install:
 
 musl-install-if-missing:
 	+@./scripts/dqlite/scripts/musl/install-if-missing.sh
-
-repl-install:
-	+@./scripts/dqlite/scripts/repl/install.sh
-
-repl:
-	+@./scripts/dqlite/scripts/repl/repl.sh
-
-repl-list-models:
-	+@./scripts/dqlite/scripts/repl/repl-list-models.sh
-
-ifeq (repl-model,$(firstword $(MAKECMDGOALS)))
-  REPL_MODEL_ARGS := $(wordlist 2,$(words $(MAKECMDGOALS)),$(MAKECMDGOALS))
-  $(eval $(REPL_MODEL_ARGS):;@:)
-endif
-
-repl-model:
-	+@./scripts/dqlite/scripts/repl/repl-model.sh $(REPL_MODEL_ARGS)