Do not enable xenctrl unless xen-evtchn is also installed
remove a bashism in the configure script
Merge pull request #54 from avsm/master

Do not enable xenctrl unless xen-evtchn is also installed