Use atomic_compare_exchange_{weak,strong}_explicit instead of {WS}CAS in lexer
checkcall syntax allows a procedure to be used as a named check
Add withsc option to CPP modelchecker. Needs refactoring.
Merge branch 'master' of https://github.com/herd/herdtools