make versioning git compatible, update INSTALL
port ChangeLog entries from other repository