Bytecode generation

Output generation

Some kind of code which maps from FlatZinc output variables to user model output should be generated similarly to how we generate .ozn output models currently.

This functionality could be extended to allow for mapping of other solver information such as statistics, duals, etc to report these in the context of the user model.