add jruby-1.7.13

This adds jruby-1.7.13 to the list of available jrubies.