Allow script to specify SPEC directory
Merge branch 'master' of https://github.com/nchong/barrier-reasoning-tests

Conflicts:
	scripts/build.py
New way to phrase upsweep invariant