Let user go to an entry in a pick list, before choosing from the list.
In general, allow Alt key combinations on menus, where it's useful.
UI and license presentation tweaks.
For now at least, switch to a 'release' version of the jline2 fork.
Bugfix: so exported file is not zero bytes until user presses a key.