Update INSTALL: this extension no longer uses SVN.

Change-Id: I8d4d82855c2d231dd5b826f7cafe1776a080d286