For host systems like FreeBSD, bash binary is found in a different path.
* fixed documentation in irq.h * moved tools folder to dist * added check for disk space in build_gnuarm script * fixed gcc check in this script, too