xapian: update from 1.2.8 to 1.3.1