Changeset b004e36 in git

Reenable selection of text in cavern log window

This reverts 8c207179b45eef7d67db147922001b117084c230. Selection
was disabled because it seemed you couldn't actually copy selected
text to the clipboard, but this actually works fine for me, both
with current git master with the change reverted, and with the
commit before the original change.