"armarx-setup info" to print information about workspace config