20191120.1

Changes:

• d8494ba Convert input to RecordValue if possible.
• 403b14e Bitwise and and shift-right operators
• 16e9477 Run tests without downloading tla2tools.jar with ant -Dskip.download=true compile test

This list of changes was auto generated.