Set up continuous integration with Travis CI

This makes use of a virtualized Raspberry Pi environment, set up following the instructions at http://www.tomaz.me/2013/12/02/running-travis-ci-tests-on-arm.html.