gitignore: No need to ignore INSTALL nor ChangeLog.