Packaging fixes

Tested xenomai builds on RPi; Other flavors needs testing (rt-preempt is WIP).

Added option to disable pdf building to hasten testing on arm platforms.