Coinst: fixed JSON output (consistently output package names without version)
Coinst: output all minimal non co-installable sets