add help message and some command line options to the export script
add raw LaTeX output option to export script
silence LaTeX output
correct copyright line
obscure temporary output file name to avoid conflicts with existing files
abort export script if the temporary file exists