.travis-ci.yml: install arm_gcc tools via apt-get tweak