Updated run script for swipl
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb
Merge branch 'master' of git://prolog.cs.vu.nl/home/pl/git/plweb