feat(osgi): explicit dependency on JavaSE-1.7 instead of 1.6
Adds preferences for REPL history.

* Preference for REPL history size.
* Preference for REPL history persistence schedule.
doc(repl history): document repl history options in changelog
style(repl launch): renamed repl launch labels to adopt eclipse convention