have sclang save bitcode on the side, if asked
Merge remote-tracking branch 'origin/master' into save-bitcode

Conflicts:
	utils/sclang.in
Merge pull request #134 from regehr/save-bitcode

Save bitcode
Merge branch 'master' into simple-synthesis