add force shutdown
Merge branch 'develop' of github.com:HazyResearch/deepdive into develop