Switch build to the new machine.
Distribute realm.
Synch German string constants with latest.
Post-release version for the v5.3.5 release
Ubuntu machines got upgraded.
Regexp typo.
raco setup: fix problem with docs

Support for "moving" pre-built docs into place did not handle
the case that the version number is wrong, which could happen
either because the pre-built version doesn't match or the docs
were built (in an old version) without a "synced.rktd" marker.
Don't run tar/zip tests if the executables are not found.
Drop todo file.
Rackety (just enough to get the max line width below 102)
add more information to the module browser error messages
fix: now documenting the right name
Set up framework for generic sets.
Added tests for lists as sets.
Generic implementation of sets that gets past bootstrapping phase.
Fixed a bug causing set/c to diverge.
Fixed treatment of lists as sets, and base case of case-lambdas.
Allow set-count to overcount for lists.
Disallow impersonators for set element contracts.
Fixed flat set contracts.