Add an editorconfig

This defines some indentation settings and the like. Combine this with
editorconfig from npmjs and a plugin for your favourite editor.