Enable to use default ssh config file, specially for usage from a grid5000 frontend
Update documentation