updated args description to Alloy4.2
updated args description to Alloy4.2

juodaspaulius/clafer-old-customBNFC,juodaspaulius/clafer,gsdlab/clafer,juodaspaulius/clafer,gsdlab/clafer,juodaspaulius/bclafer_old