Split `frtime` from the main repository.

Source for `frtime` is now at:
  https://github.com/racket/frtime/
Remove dependence on "srfi-doc" from "plot-doc".
Remove picturing-programs from props script.
Don't check doc-completness for picturing-programs in htdp.