Clone OTP into ~/.cache/grisp and use git workspaces

[holzingk]

One local clone of the repository is enough. Git supports having multiple workspaces of the same repository.

This saves bandwidth, time and disk space.

[eproxus]

Some more details: https://git-scm.com/docs/git-worktree