Add .editorconfig

This should ensure that all editors which support https://editorconfig.org/ use the correct indentation with spaces (not tabs) by default.

This is hardly a full specification of our coding style, but it's a correct subset and better than nothing.