Add temporary instructions for POPL tutorial