Redirect kprove test output to stdout (#2153)

Co-authored-by: rv-jenkins <admin@runtimeverification.com>

Author: Baltoli

k-distribution/tests/regression-new/issue-1175/Makefile

@@ -3,5 +3,6 @@ EXT=test
 TESTDIR=.
 KOMPILE_BACKEND=haskell
 KOMPILE_FLAGS=--syntax-module TEST
+CONSIDER_PROVER_ERRORS=2>&1
 
 include ../../../include/kframework/ktest.mak

k-distribution/tests/regression-new/kprove-java/Makefile

@@ -5,6 +5,8 @@ KOMPILE_BACKEND=java
 KOMPILE_FLAGS=--syntax-module DEMO
 KPROVE_FLAGS=--def-module VERIFICATION
 
+CONSIDER_PROVER_ERRORS=2>&1
+
 export KOMPILE_BACKEND
 export KPROVE_FLAGS