Build scripts for Debian packages of toolchain for arm-none-eabi and possibly others.