Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed.

Example : --with-xenomai-config="DESTDIR=/path/to/staging /path/to/xeno-config"

$Id$

Authors:
Dipl.-Ing. (FH) Florian Pose <fp@igh-essen.com>