Removed check_kthreads_headers as it only deals with rtai; xenomai-kernel is deprecated.

Cleaned up build-depends, RTAI builds needs testing

Potential fix for #124