Added Xenomai tools build script
xeno-build.sg script was missing make command