xen: generate a main.xl during configure

Note we don't configure block or network devices. To compensate we
add some examples and documentation links to the config file.
Merge pull request #154 from djs55/add-xen

xen: generate a main.xl during configure