extensions/dots.py : Now dots are circles and not a multi-path to correct the "where...

extensions/dots.py : Now dots are circles and not a multi-path to correct the "where is the dot" bug and make easy to change a dot position; The number is moved to be separated from the dot; The original path is now deleted, not only cleared; The last dot is not more over the first - now is better for kids (and some adults) to understand the start and end dots