Modified .gitignore to only ignore class files under edu directory.

Class files in other directories should be committed, since they will
not be re-built from source.
Added official Alloy 4.2 JAR file contents