As pointed out by commenter Thaj below, this information is now obselete. One can install the default arm-none-eabi-gcc package provided in Ubuntu 14.04 a...