Adding options to test-runner.pl for Regina's build-bot.