turn on Travis CI

Do not merge; playing with Travis configuration

Signed-off-by: Daniel Halperin <dhalperi@cs.washington.edu>