Update bashrc setup of SSH-agent. The script mentioned [here](https://docs.github.com/en/github/authenticating-to-github/working-with-ssh-key-passphrases) works like a charm TODO: update .bashrc adding that bit as default
