INSTALL.md: proofread for grammar and formatting

Not really relevant to this PR, but at least Debian doesn't have `pip3`, it has `pip-3.2`.