Various Python scripts for Twister