add boolean to the set of things that redex's random generator
will generate for the any pattern
correct augment/override confusion in docs
updated mitpress links
Fix minor doc typo for threads
Merge remote-tracking branch 'upstream/master'