Migliorato il rendering del tool Pen: adesso fa lo stroke solo dell'ultima linea disegnata, e termina le linee con un cerchio. Aggiunti per chi estende da DrawingTool i metodi onStartDrawing, onDrawFromOutside, onStopDrawing.