Theorem zmodp.legendre_sym_eq_one_iff

refactor(zmod): merge `zmodp` into `zmod`, use `[fact p.prime]` for tc search (#2511) …

refactor(data/zmod/quadratic_reciprocity): simplify proof of quadratic reciprocity and prove when 2 is a square (#1609) …