building debian packages for Xenomai, first try; it works, but there are a few rough edges; the packages are completely untested