Update README.md with info about Xenomai debs