Alcoa (Alloy Constraint Analyzer) is now Alloy

Alcoa has been renamed the Alloy Analyzer, and has moved -- please visit the new location.