Update VERSION file to match PackageInfo.g
Require GAP >= 4.7.2 and AutoDoc >= 2014.03.27

The AutoDoc requirement is only for makedoc.g, not for the
SingularInterface package as a whole.
Tweak INSTALL
Update .gitignore