Make mining a one-click operation

[max-kamps]

Also have the extent of the mining context be displayed just as a transient highlight on the text (suggestion by Kaz)