Additional udev files should only be installed when needed
deb packaging fixes for xenomai builds on arm architecture
added --disable-docs switch to debian/configure in order to shorten compile time on resource constrained platforms
Changed error to info so building deb packages without docs won't fail
fixed minor issue with XENO_KVER detection
Merge pull request #129 from kinsamanka/fixes

Packaging fixes