Update Xylotex.ini
Update Xylotex.hal
Update Xylotex.hal
Update Xylotex.ini
Merge pull request #331 from muggins/master

Problem finding pru_generic.bin on package installation
`make install` installs `../include/userpci`

Add a way from a `Submakefile` for directories to be installed during
`make install`; use it to install `../include/userpci` to fix errors:

      install: cannot stat ‘../include/userpci/device.h’: No such file
      or directory
      [...]

fixes #298
Merge pull request #333 from zultron/fix-298

`make install` installs `../include/userpci`
Include ShabbyX/RTAI-style kernel header detection

The ShabbyX/RTAI `rtai-config` script has been updated to support
multiple sets of kernel headers on a system, especially useful for
packaging.  See [this issue][1].

If an rtai.org-style `rtai-config` script is installed, this patch
changes nothing.

If a ShabbyX/RTAI-style `rtai-config` script is installed, this patch
automatically selects a set rtai kernel headers if:

- There is only a single set installed on the system, or
- There is a set matching the running kernel.

And otherwise (no headers found or multiple sets found, an ambiguous
case) fails.

[1]: https://github.com/ShabbyX/RTAI/issues/16