abcBridge-0.10.0.0: scripts/clean-abc.sh

#!/bin/sh
rm -r abc-build
rm galois-abcBridge.tar.bz2
rm scripts/abc-sources.txt
rm scripts/abc-incl-dirs.txt