xsb refers to version 3.4.0 instead of 3.3.7

[Bart Bogaerts]

Running xsb tests gives:

Error: InternalIdpException: Error in XSB: XSB configuration file /cw/dtailocal/bartb/local/bin/xsb/xsb-3.4.0/config/x86_64-unknown-linux-gnu/lib/xsb_configuration.P does not exist or is not readable by you.

The only installed version of xsb is 3.3.7

(on branch xsb_refactor)

[Joachim Jansen]

make clean + make install fixes this. It will install 3.4.0 and make the correct bindings.