Fix pip install; eliminate deferred imports#3

kiranandcode merged 1 commit into

mainBasisResearch/lean.py:mainfrom

fix-pip-installBasisResearch/lean.py:fix-pip-installCopy head branch name to clipboard