Cleanup deprecated entries from README.md
Messages to self() are delivered immediately
Proper priority of options
Stop if first interleaving has an error
Mark allow_first_crash as crashing
Depth bound option is now available
Add one more test
Improve some crash messages
Fix compiler option
Infinite timeout for tests
Add Travis CI script
Add Travis CI status to README.md
Optionally silence error categories
set() type is built-in in < R17
Show the trace when Concuerror crashes
Hide error messages for missing .Pbeams
Return an error if some tests are failing
Fixes for Travis
Travis doesn't like make -j
Add two big tests in the testsuite