Added a few things and finished cleaning up changes to INSTALL