INSTALL.txt deleted from repo; update debian.

@j-rivero, please check.