[MAT-425] Respond to review comments.

This updates verinfo.py to report on the failed subproject name.
It also bumps INSTALL.md to reflect the inclusion of OG-Izy.