openocd config, simple script to install arm-eabi-none packages in ubuntu