doc: fixed ppa repo in INSTALL.md. Closes #GH-31.