Coinst: option to output list of minimal non co-installable sets to a file