Tweak the build system.
We now check that the version number in the .cabal file matches
the version number in the file abc-build/galois-abdBridge.version.
This should help limit the potential for problems related to version skew
between abcBridge code and ABC code for users who pull directly from github.
Merge branch 'master' into hackage

Conflicts:
	abcBridge.cabal