scribble/manual: add `#:id' option to `defthing'

Use this open in the HtDP language documentation in the same
way as for `defproc', which fixes the docs for `pi', `e', etc.