Logging: make output more brief, with options for different verbosity levels