add a devcontainer configuration

Github now provides a possibility to work in web hosted runners. It's very convinient when making small PR or working from a non linux machine. 

If we had a devcontainer folder we could set up some configuration for anybody wanted to work in this environment.