Add kdiff3 to installation test script - check may only work on Ubuntu.
Add target for intro teaching notes PDF to Makefile.
Track teaching notes PDFs so that they are available on github.io site.