Added 'homer', the homomorphism-finder. All changes in 'src' are
untested and may be unstable.
Minor update to Naa.hs