Many doc improvements for Circulation (#175)

- More precise doc for members.
- Several doc fixes.
- Add doc for public types.
- Better formulations.
- Add useful notes to the problem description.
- Use supply instead of excess in the doc.
- Hide the doc of the traits class parameter.
- Use \tparam for template parameters.

 if WANT_TOOLS

 bin_PROGRAMS +=

 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh

 endif WANT_TOOLS