MvnLauncher: logging
MvnLauncher: credentials handling improvements
MvnLauncher: error reporting
MvnLauncher: fix handling and saving of user-defined credentials