patch:  Enable multiple RTAI versions on a single system

/usr/bin/rtai-config becomes a stub script that helps select another
kernel-specific /usr/bin/rtai-config-<kver>.

https://github.com/ShabbyX/RTAI/issues/16