Update to jruby-1.7.13 and use Debian