Added small example.
Added summary slide at the end of the IC3 walkthrough.
Merge branch 'master' of https://github.com/bradyjgarvin/csce990