Change organization and improve compatibility with vanilla z3.
Remove useless flags for test executables.