* dbshell: Print known Yamcs types in JSON format instead of binary * dbshell: Persist query history * dbshell: Add an option to not print column titles * dbshell: Add an option to start in batch mode (no history, no help texts, default to binary instead of hex)