added more items in popup menu
to apply a lemma to a hypothesis, select and drag it's name to the hypothesis button.
enabled dragging from the message window (which shows results of SearchAbout)

(commit mesg longer than the actual change!!)