Temporarily replaced Travis origami-build-tool install step with equivalent separate commands, to see if it fixes the Travis build.