add travis badge

Though @paddyforan says they no longer work due to image caching by github.