ruby-build 20140420

* Add JRuby 1.7.12
* Prefer `ggrep` for `grep` invocations that use GNU extensions