20190628.1

Changes:

• 61c21a9 Add IDE related files to allow to import the project into Eclipse.
• 9c9c445 Rename operator IsASet to IsInjective (in TLA+ all things are sets).
• 10b4f35 Add status badge for Azure release pipeline.

This list of changes was auto generated.