Implemented configuration class. Began work on compound input stream utility class.
Merge branch 'master' of github.com:babb517/aspmt2smt