Cleaned up repo, adjusted the INSTALL documentation.