Added something on unicode_collation to INSTALL.