Remove specific integration scripts for 64 bits versions of XSB

Nowadays this system seems to be usually compiled 64 bits using the generic executable names `xsb` and `xsb-mt`.