Added Z3 interface from Athena. Moving all theorem proving related stuff into this project.