Update server.ml : verbose mode for guess/guessed commands