changed from File.renameTo to Files.move, because the former doesn't seem to work right everywhere
changed to emit the block proof as a "proof-*.html" HTML doc instead of standalone SVG