divERGe implements various Exact Renormalization Group examples