Add linker options for Xen/Mini-OS
Travis check that Xen support builds too
Merge pull request #231 from talex5/minios

Add linker options for Xen/Mini-OS
Install CHANGES.md.
Switch to OPAM 1.2.
Merge pull request #232 from yallop/opam-12

Switch to OPAM 1.2.