go-jsonnet support
- Added
tla_code_filesattribute tojsonnet_to_json - Added support for go-jsonnet by passing in
--define jsonnet_port=goand adding the new dependencies to yourWORKSPACEfile as shown in the readme.
The use of c++ version is deprecated and in the next version we will switch over to use go-jsonnet per default. Please report if you are running into any issues.