Deployment Features

This MR adds dev containers for VSCode, so that the project can be built easily. It also adds a new stage to the CI pipeline to produce AppImages.