Feature/db env updateDB#89

zhaochenhong42 wants to merge 12 commits intomainulab-uiuc/MARBLE:mainfrom

feature/db-env-updateulab-uiuc/MARBLE:feature/db-env-updateCopy head branch name to clipboard