Added to the examples the mf-owhm example converted
for use with the gmg solver. This also includes a
driver bash script and output-true for checking the
validity of a compilation.