Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefined symbols in the z3 library.
Merge pull request #120 from hpalikareva/order-link-libs

Fixing linking order if metaSMT is used: linking rt after z3 to avoid un...