consolidate ui helper code

ace- and fontawesome- related stuff
rename/whitespace
rename ace_editor_height
replace jquery terminal with ace.js

fixes #7