Bug fix on ssh-add-host

.bash_functions:
- ssh-add-host: ssh-copy-id now called with "user@host";
- ssh-add-host: now returns on ssh-copy-id failure.