A primitive implementation of multiplication for DD structure morphisms.
Merge branch 'master' of https://github.com/bzhan/bfh_python

Conflicts:
	ddstructure.py
(resolved, I hope).