Document git submodule update in COMPILING.md#2570

Merged

kroening merged 5 commits intodiffblue:developfrom

johnnonweiler:doc-git-submodule-update

Jul 12, 2018

Commits on Jul 10, 2018

Document git submodule update in COMPILING.md
John Nonweiler
committed
Fix a typo JMBC->JBMC
John Nonweiler
committed
Include submodule update in jbmc/README.md
John Nonweiler
committed
Remove --recursive from git submodule update
John Nonweiler
committed

Commits on Jul 12, 2018

Add minisat download to jbmc/README.md
John Nonweiler
committed