Update INSTALL file to say that TMV v0.72 is required.
Merge branch 'master' into #563