This fixes the isa-helpers.go integration and adds a full, working test for use_theories that can be run against ism-proxy and isabelle server.
Documentation for execution will follow soon.