opam: run configure

Signed-off-by: David Scott <dave.scott@citrix.com>
travis: add a test case without the Xen headers

Signed-off-by: David Scott <dave.scott@citrix.com>