A short procedural library to help write PHP shell scripts quickly