Added utility to convert Holger databases from paradox format to xml format,
using pxtools.