Add working test file with large amounts of output

Skolem returns an empty list where it should be the api functions
application to the returned instance.
Creates a list of all instances' function values.
Adds checks for if two instance lists are comparable. Adds findIsomorphism to check an instance against all remaining instances of the other model.
Adds permutations and universe of each instance.
Makes functions more generic (shorter) by replacing ArrayList with List and LinkedHashMap with HashMap.
Replaces arrays with lists so contains methods can be used when checking a mapping.
Fills out check of if the permutation is the correct matching. Brute force method complete.
Create NodeOnly.als
Create NodeEdge.als
Accounts for instance lists of different sizes.
Create NodeGraph.als
Creates classes instead of using gross data structures

Makes the constructor of Test a lot cleaner, fixes bug with arity checking.
Makes the trivial predicate match with other als.
Remotes test.als
Rename NodeEgde.als to NodeEdge.als
Update and rename Test.java to Preliminary.java
Added the corpora for testing purposes.
small git fixes
ignore .classpath
Merge branch 'john' of https://github.com/hardikar/amalgam into john