Separate the tip from the annotator text editor, so that I can insert the tag entry line between them.
Add support to markdown editor to suppress tip about markdown syntac
First implementation of tags
Fix word list directive update problem
Merge branch 'develop' of https://github.com/hypothesis/h into 514-simple-tagging-4
Added pieces from jquery-ui

Adding UI modules: core, widget, position, autocomplete
Effect modules: effects core, blind, highlight

All from jQuery UI 1.10.3
Added tag-it (rev d416408c)
Added forgotten jquery ui element:menu
Replaced tag-in theme with proper jquery-ui theme
Start using tag-it for tag editor
Moved the jquery-ui css file to the jquery-ui bundle, where it belongs.
Added placeholder functionality to tag editor widget

I have fixed the widget's built-in placeholder functionality
(PR pending: https://github.com/aehlke/tag-it/pull/190 ),
and added a placeholder.
Merge branch 'develop' of https://github.com/hypothesis/h into 514-simple-tagging-4
Tagging cosmetics

 - Input field (for new	tag) has border
 - Widget has no border
 - Input field retains placeholder (but	it is now shorter)
Restore tags on cancelled editing
Use tag-it widget for read-only tag display, too.
Use smaller font sizes for tags
Tagging CSS fixes
Initial implementation of tag stream
Make tags clickable, and open tag stream on click