Support different printing modes in petangue/goals #1043
Description
Currently the petanque/goals request does not have any option of configuring what kind of output is returned and defaults to string.
It would be nice if this request also supports the different printing modes (i.e. like the pp_format field in proof/goals).
Maybe it should also take the pp_type from the global server config into account as a default?