Our code uses a tabwidth = 4. By default, github displays everything
with tabwidth = 8. But github respects .editorconfig files. So
this commit adds the appropriate .editorconfig.
This could also be useful for other editors as .editorconfig seems
to be widely used.
