Added check to INSTALL.md, the addition of autotests requires it