Add an option to build-sandbox.sh that forces it to build alex, happy and c2hs This should help to work around problems steming from old build tools.
Add an option to build-sandbox.sh that forces it to build alex, happy and c2hs
This should help to work around problems steming from old build tools.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script