Bump jline version

Lots of fixes: windows encoding & arrow key issues, a couple of
classloader leaks, infinite loop on kill-word at end-of-line, and much
more.
Bump to 0.3.1 for jline & other fixes
Snapshot for next iteration