Add devcontainer to support development in codespaces 🐳 #2
Description
To be able to use this template without leaving GitHub, a devcontainer that has access to a Java 11 JDK/JRE would be needed.
The packages in the devcontainer should match those provided on the campus lab machines.