force travis to use 4-* (4-8-2014q2-0precise9 or newer) gcc-arm-none-eabi due to a bug not
installing the c++ headers when installing the stock cross-compiler