chore(tooling): re-organize dev deps; remove unnecessary optional extras#85

tcoratger merged 2 commits intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

fselmo:chore/reorganize-dev-depsfselmo/leanSpec:chore/reorganize-dev-depsCopy head branch name to clipboard