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.