travis: workaround the (temporary) lack of a mirage-xen-4.02
travis: fix typo in PACKAGE setting
sync CHANGES and bump to 2.0.2
travis: attempt to placate travis by specifying a version explicitly in `opam`