Use fancy multiple select widget for tag editing

...the "Chosen" jquery plugin, from http://harvesthq.github.io/chosen/,
to be precise.