chore: change eslint config to sort imports with --fix#57

robsimmons merged 3 commits into

mainleanprover/lean-workbench:mainfrom

sort-importsleanprover/lean-workbench:sort-importsCopy head branch name to clipboard