install no X version of swi prolog to speed up travis ci