CLI: honor DEBUSINE_SERVER_NAME from environment
If DEBUSINE_SERVER_NAME is set and --server is not used, debusine can use that to select a server name different from the configured default: that may make it more convenient for using in shellscript.