Converted testsolver.py to OCaml

Fixed a bug handling local-path on <group> elements.