Added 'homer' the the Homomorphism-Finder. All changes to the 'src'
directory are untested and may be unstable.