herd: add some options (1) -badexecs (2) -c111

1. -badexecs false -> no output at all in case of data race
2. -c11 shorthand for running C programs