Add java and latex to container

[afonsonf]

Changes

• Add java and latex to devcontainer to be able to run the tlaplus tools when debugging the extension.
• Updated the library for running the integration tests
• Clean up instalation of the packages required to run the integration tests from the terminal
• Update documentation
• Removed the changes to the default user in the container (if necessary the required permissions to the folder can be set on the host side)

[lemmy]

LGTM. Thanks!