Introduce script to run from continuous integration

As discussed by email, the script for continuous integration testing should be on the repo to be version-controlled and to allow developers to run it locally. Fix #26.