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"

b6cfd85db58e116ea155a52a584e863fc6ad0eff version-1.3.2