Fix devcontainer support
Description
Recent refactorings of this repo, specifically the Dockerfile
, broke the devcontainer workflow for development. This PR fixes that by providing a dedicated Dockerfile
for this purpose.
This PR also updates the .devcontainers.json
a bit to add the fuse
mount as well as adjust the build directory location to move it out of /tmp/build
so it isn't lost when the container is rebuilt. The end result is a much more usable workflow.