added some alloy output to logiclanguage
Merge pull request #1 from gregoryloden/master

Incorporating zebra problem
working zebra.als and some additions to LogicLanguage
added an interface to the compiler in java, and the beginnings of a 'main' class in solve.py. Also updated zebra.py
fixed a bunch of syntax errors. it works\!
polished directions, added compiled java code (cause platform independent)
Fixed the directions so they work.
Merge pull request #1 from Gailbear/master

updating