[For instructions, please go to https://github.com/tlaplus/tlaplus/tree/master/general/ide.](https://github.com/tlaplus/tlaplus/tree/master/general/ide)

Add contributor entry point linking the IDE setup guide.
Add contributor entry point linking the IDE setup guide.

[Docu]
