ijprest/tools

Miscellaneous tools; mostly command-prompt stuff and batch-files.

Batchfile