Typo fix to inlab12

Updates to lab 12 for fall 2021

Updates for Wednesday's lecture

Spring 2020 repo version

fall 2019 final version

Spring 2019

Merge branch 'master' of github.com:uva-cs/pdr

Spring 2018 repo version

Fall 2017 repo version