Where to find Lua execution environment

In fact this is not related to the ExecEnv. For the record, the ExecEnv is merely a documentation package. It is only used to read the doc, and for the code auto-complete feature.
That being said, the IDE was not updated when the RV was released, as it is compatible (despite the naming).
So you should be able to use the IDE with the RV50, as is, once you have enabled AAF on your gateway (and set the AAF/uasuser password).