Adding JRuby 1.7.12

Adds JRuby 1.7.12 to ruby-build.