Revert "Remove EditorConfig, per @lidaobing’s request"

This reverts commit cf2b22bbbbd938ee15d3b5f6a8d49f1f894be18e.