jenkins: check page-server (v2)

page-server are not tested now. I suggest to add it in the pre-dump job.

v2: execute all tests with and without page server
Signed-off-by: Andrey Vagin <avagin@openvz.org>
Signed-off-by: Pavel Emelyanov <xemul@parallels.com>

test/jenkins/criu-pre-dump.sh

@@ -5,4 +5,5 @@ prep &&
 mkdir -p test/dump &&
 mount -t tmpfs dump test/dump &&
 make -C test -j 4 'ZDTM_ARGS=-P -i 3 -C' zdtm &&
+make -C test -j 4 'ZDTM_ARGS=-p -P -i 3 -C' zdtm && # + page server
 true || fail