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.