Tool to export homomorphisms to JSON

Meant to be used with a specific JavaScript program