Added the ability to specify 'all' instead of '0' on the command line to find all solutions.
Worked around an iClingo quirk which caused solutions prior to the minstep to be returned.