Lots of UI fixes
* Zooming with scroll wheel
* Allowing empty strings
* Keep-alive so session doesn't time out
* Warning on page close with unsaved changes
* Better scaling of corner boxes
* Snap to node after folding
* Better display of logics to graft
* Better weighting on autocomplete search