patch applied (hackage-server): "Tidy up the command line flags code, make sure all commands have a -v flag" and 7 others