improvements to command prompt history

rename "input widget" and "entry widget" to "prompt widget"
save entire history (including active edits) to local storage: fixes #160
follow private_/public style in shell_tab better
improve prompt encapsulation
artifacts
Merge branch 'develop' of https://github.com/att/rcloud into develop