travis ci jruby head is failing, switch to 1.7.12 instead