Misc remarks about how to add features:

-1- How to deal with the icons.

When you add an icon you need to :
- add the .svg file 
- convert it to .ml using svg_converter (in the tools directory of geoproof)
- add a name for the icon in icons.ml
- add an entry in the table in icons.ml

