A small package of Windows batch scripts for everyday use