Travis integration

As discussed in #23.