Convert houd12.bpl into a OutputCheck style test and also pass
--dump-file-to-check flag to OutputCheck by default to ease debugging
Converted test0/Arrays1.bpl test to OutputCheck style test.
Remove solver executable check under windows at the request
of Valentin Wüstholz because under Windows Boogie looks in
other locations for Z3.