Added --alloySolution command line argument for converting an Alloy XML solution to a Clafer one.
Added --alloySolution command line argument for converting an Alloy XML solution to a Clafer one.

gsdlab/claferIG