import sec-tools scripts Two of these are obsolete, named with .old in /mit/scripts/sec-tools; I'm going to remove them in the next commit. But they'll be in the svn history here, which is better than lying around with .old names.