Scripts for testing the PintOS projects with nice colorful PASS/FAIL output