Add more instructions to set up and verify lab1