Small tweaks to the INSTALL file

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>