Can now undo() dot and connection creation.
Added undo, redo, & help .SVG buttons
Undo/Redo seems to work for dot creation
Undoing a connected dot (somewhat) works.
deleteDot(aDot) and deleteConnection(aConn) should work.
Undoing and Redoing should work properly. Needs to be tested. There are still many TODOs.
I believe that undo/redo work properly. You can even try to mix in some deleteDot(dotList[#]). Please test this @uber5001 . I have not implemented a way to delete Connections properly, nor the undo/redo commands for a disconnection.
Merge remote-tracking branch 'origin/deletion'

Conflicts:
	js/globals.js
	js/newdotmenu.js
	js/nodes.js