xapian-core: update to 1.2.15.