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

Makes use of the extension plugin
check for empty repo
always fullpath repo dirs
Merge pull request #532 from splitbrain/gittool

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