replaces text area with ace editor
updates js and css to use ace editor for displaying shell history
overrides up down handlers in ace editor