Fix Ciao and XSB man pages