Add "pause" statements to bat scripts, change "file" to "table" in some sql scripts, remove transitive closure generator, update README.