Resizable panels jquery ui

Implements resizable panels in the IDE.
Tested on Chrome/Firefox/Safari on Windows7.
Uses jquery-ui, but seems to work pretty well IMO.

A possible resolution of  #116 and #126?