xapianBindings: 1.2.23 -> 1.4.0

The xapianBindings version is now directly tied to the input xapian
version, to ensure that they're in synch.

Also, as of this version, sphinx is required to build documentation
for the python bindings.