use swi-prolog PPA on Travis