Extending ./configure with support to use metaSMT.
Merge pull request #39 from hpalikareva/master

Extending ./configure with support to use metaSMT.