server: remove cli-git, cli-extras

both these packages are hard to use, seem to be either unfinished or
abandoned, and also generally not very good.

Also for some reason they depend on `lens`. Removing them dramatically
shrunk the dependency closure!