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

...defined symbols in the z3 library.