Saxon SQL extension instructions

A number of SQL extension functions are now available, designed to supersede the existing SQL extension instructions. See the Saxon SQL Extension section and Function Library for details.