A few useful batch scripts for developers that I use often ...