test: Convert a couple of shell-based testcases to use divcheck.

test/dioscc/archive.sh

@@ -41,5 +41,5 @@ if ! [ -s a.out ] || ! objdump -h a.out | grep .llvmbc;  # spawns executable w/
     then false;
 fi
 
-divine verify a.out | tee verify.out
-check verify prog.c
+{ echo expect --result error --location prog.c:6 ; echo verify a.out ; } > script
+divcheck script

test/libc/strerror_r-dioscc.sh

@@ -21,7 +21,8 @@ fi
 
 ./gnu
 
-divine check gnu
+{ echo "expect --result valid" ; echo "check gnu" ; } > script
+divcheck script
 divine exec --virtual gnu | grep "No such process"
 
 
@@ -46,5 +47,6 @@ fi
 
 ./nognu
 
-divine check nognu
+{ echo "expect --result valid" ; echo "check nognu" ; } > script
+divcheck script
 divine exec --virtual nognu | grep "No such process"