More documentation of `done` in proof mode docs

I had various people that asked where done comes from, so this MR makes that clear and adds a link to std++.

I also expanded the text a bit.