Make Xen work again

- Use the stable 14.05 linaro developer release (so Xen works out of the box).
- Pre-install m4 (for ocamlfind).