For users who wish to download and build the JEDI code themselves, with the help of a development container.