Scripts

Miscellaneous scripts.

• dub: batch file renaming for zsh
• splitimage: split two-spread images