r299463 - [analyzer] Add new Z3 constraint manager backend

[Devin Coughlin via llvm-commits]

> On Apr 5, 2017, at 12:44 PM, Reid Kleckner <rnk at google.com> wrote:
> 
> Moving the class to a separate .py file fixes the pickling problem, so I did that in r299577. Matthias suggested that fix.

Thanks Reid (and Matthias!).

Devin