change to a menu for choosing display options

TODO: populate the menu dynamically from the auxiliaries
found in info.json