infrastructure for building linux-rtai debs (and some other packages useful for LinuxCNC)