Implement += for ssh authentications.
Merge branch '3-dev' of github.com:openmole/openmole into 3-dev