Add a devcontainer.json with existing Dockerfile

[peat-psuwit]

Since we have a Dockerfile here, we might as well also setup devcontainer.json to allow drive-by contributors to contribute with GitHub Codespaces. Using VSCode probably won't give as good experience as using Android Studio, but I reckon it's good enough for a simple change.