nstall X headless version of swi prolog to speed up travis ci
try to fix travis build