[flint/f15] New upstream release. Build against the system zn_poly instead of the included sources. Make sure th

[Jerry James]

Summary of changes:

  7dfc414... New upstream release. Build against the system zn_poly inst (*)

(*) This commit already existed in another branch; no separate mail sent