Image for Gitpod. Includes nldsl, nldsl-plugin, pvs-language-server and machine learning libraries.