CoqEAL -- The Coq Effective Algebra Library