Initial commit for the Alloy source files and documentation.