add travis CI

To do this, I had to encode the wiki instructions in a file, which
seemed like a good thing anyways.
Merge pull request #763 from ptarjan/travis

add travis CI