Run Alloy Analyzer from Commandline