Upgrade to jline 2.12

Notably this includes support for the kill ring, allowing cutting and
pasting.