minor adjustments to printing; lame text ui
added or to plaintext solver syntax
Merge pull request #2 from gregoryloden/master

incorporating UI
Merge pull request #2 from Gailbear/master

getting the files