Bash testing scripts to run pintos tests