docs are still generated even if explicitly disabled
xenomai-kernel is deprecated
Potential fix for #124

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

Cleaned up build-depends, RTAI builds needs testing
Merge pull request #161 from kinsamanka/deb_cleanup

Debian packaging cleanup