Intall libxen-dev in Travis CI scripts