added bin/gittool.php for simpler git management of plugins

This script adds an easy method to install new plugins or templates from the command line via git. It can also apply commands to all git repositories with a DokuWiki install making it easy to update all git installed extensions in one go. Useful alternative to the extension manager for power users.