Raul Silvera
913609c78a
Add "options" command to show the current options
Rather than print options on each prompt, add a "options" command
that prints the current options in a user friendly format. Also,
make sure that those options can be parsed back as printed.