Mosh cleanup

    Note to self

    I use the excellent mosh to work remotely from my ipad (together with blink).

    Sometime despite all, the connection is lost and cannot be recovered.

    source cleanupMosh.sh
```
that contains
```bash
pgrep mosh-server | grep -v $(ps -o ppid --no-headers $$) | xargs kill
```
deletes all mosh sessions excluding the current one...
(it uses the parent pid, so it has to be executed in the main shell)