Enabling Tern for JS editor, various fixes for layout, gutters, error reporting.