Add 4.01.0+xen to the Travis build matrix