Merge pull request #39 from hpalikareva/master

Extending ./configure with support to use metaSMT.
MetaSMT builder, solver and command-line options.