Improve the configure script

- one can now manually enable or disable an option (--xen=(true|false) --xenctrl=(true|false))
- the configure script accepts all the default options provided by RPM's %configure macro