Adding more implicitsolver examples indoc, adding stats by request of @ghorn