Double timeout again to 12 seconds

JRuby and rbx are still timing out sometimes, so double their timeouts
from 6 to 12 seconds.