some more stuff to do
change color and look and feel
prove method only when no coq interaction is active -- also, set busy state properly
don't attempt to verify a verified method
remove proofMarkers at several places
increase frame rate
prove method -> prove other method works now again, if first has finished
properly handle verify method without pointing into a method ; also handle proof script modification properly inside of an already proven method
Merge branch 'master' of github.com:hannesm/Kopitiam