Metasmt multisolver

Functionality for using STP, Boolector and Z3 through metaSMT fully integrated into KLEE and Kleaver. Web page with instructions how to build and use to follow shortly.