Ignore z3 virtualenv
Add multiplier curcuit example test
Add multiplier example
more regression tests and generalization
changes to slides + PDF
various updates

Move copyright to central location; path divergence checking; new
examples
minor changes
Remove name clashes of examples/*mult.py with tjb's version.
Merge branch 'mult'

Conflicts:
	.gitignore