New editor style. More space for editor and a good starting point for more improvements.
make two columns same height.
set auto scroll.
Revert "make two columns same height."

This reverts commit 749e9a63cddc33d63b879e4aaa49b8e6173cfeaa.
Provide shortcuts to plans
Slightly better style for shortcuts.
Resize the editor column with a button.
Merge remote-tracking branch 'origin/master' into domoritz-new-editor
Fix js in templates
Merge branch 'viz-improvements' into domoritz-new-editor
Better handling of enabling/ disabling interaction with graph
Refactor graph and make sure we see the fragment label when not expanded
Add a form with options below editor.
Connect profiling checkbox, enable by default.
Merge remote-tracking branch 'origin/master' into domoritz-new-editor

Conflicts:
	appengine/templates/base.html
Add a nice way to look up the schema of a relation. This helps a lot when you want to write a query and need to know its column names.
add back to top button.
Back to top on all pages, only link, fixed indentation, make it work without js.
update submodules
Merge branch 'master' into domoritz-new-editor
update zoom lib, more space for graph