some of my php command line tools