* lisp/tla+-mode.el: update URLs, remove
unnecessary comments, cleanup whitespace and
wrap lines.
(tlc-widget-example): if a TLC cfg already
exists, copy it to .old.<seconds>. erase
the buffer then and insert the new TLC
config into the buffer.
Add the current time to the tlc config.
* org/Test.org: add an example org file.
this shows the usage of org-babel-tangle in
combination with TLA+ (it may be used to
further comment on TLA+ specifications).
