Added Travis tests

Tests building first just stubs, then tracing for Unix, then tracing for
Unix and Xen.