Replaced contact mail in INSTALL files by a Github link