API to draw

[J-Christophe]

AddLayer is currently used to add layer related to data. Sometimes, we need to draw on the canvas as :

• line to compute a distance
• polygon to order command

In this case, we do not use addLayer from Mizar but addLayer in globe. Then we get the globe object and we use addLayer. It should be better to have a method addDraw in Mizar API