Custom directories separator

Fixes the issue for directories separator which are not correct when the remote server and the local machine have a different OS (/ for Linux and \ for Windows).

The optional new option "dirSeparator" is created (default to "/").