Tools for developers

Just a bunch of scripts for developers. Not interesting for users. And devs don't need to use them either, but I'd venture they make life a little easier. See separate commit messages for more details.

They work on Windows; haven't tested on Linux/OSX.