Associate .als files with alloy-mode.
Additional keywords: exactly, not, iff, implies, and, or
Handles -- style comments.