travis-ci: properly install GNU Tools for ARM Embedded Processors