update Travis testing matrix to cover more Linux distributions
update Travis testing matrix to cover more Linux distributions

djs55/ocaml-xen-lowlevel-libs,djs55/ocaml-xen-lowlevel-libs,djs55/ocaml-xen-lowlevel-libs,djs55/ocaml-xen-lowlevel-libs