8163840: jshell tool: provide way to display configuration settings
Reviewed-by: jlahoda

8160089: jshell tool: use new double-dash long-form command-line options
Reviewed-by: jlahoda

8157517: jshell tool: allow undoing operations
8157395: jshell tool: allow the position of options on commands to be more flexible
8157393: jshell tool: change /set newmode ... to be consistent with /retain mode
Reviewed-by: jlahoda

8157185: jshell tool: ambiguous format -- distinguished arguments should be options
Reviewed-by: vromero

8156158: Mark ToolLocaleMessageTest.java as intermittently failing, demote to tier 2
Reviewed-by: jlahoda

8147515: JShell: Internationalize
Reviewed-by: jlahoda