A collection of scripts we've used for debugging pintos on UTCS machines