update Makefile to detect Xen automatically
remove unused server.ml, now replaced by autogen mail.ml and mirari