Update to 3.5.7 i-pipe patch for testing

- Rename configs to follow kernel version
- New linux source
specfile:  fix script so i-pipe patch file is apparent from build log
Update to xenomai_patch_version 3.5.7-x86-0.120112git5250eb
config-3.5.7-i686-NONPAE:  remove redundant config from override file
xenomai config files:  change to match Gilles's config

This might fix broken XDDP, since it changes from module to in-kernel
Rename package to kernel-rt
Rewrap specfile lines to fit in 80-col terminal
specfile:  Add xenomai variant
Macro:  %package and %description for <flavour> and <flavour-devel>
Fix bug from line rewrapping
xenomai configs:  add notes about SMI
Disable CONFIG_FTRACE to improve latencies
Apply ipipe patch silently
In KVRFA string, separate release and flavour with a dot

e.g. instead of 3.5.7-1.el6xenomai.x86_64, 3.5.7-1.el6.xenomai.x86_64
Replace repetitive scripts and files with macro functions
Get kernel version strings out of config file names

Too hard to make changes and port between branches