[tomsrtbt] lua scripts

[ggrothendieck]

The lua scripts in tomsrbt could be of independent interest.

I suggest that they be accessible separately as either a small
download and/or a set of browsable web pages on the net.