Bugfix: directory changing was messed with the 'deep' version of git-pull script. Now uses --git-dir and --work-tree options.

Signed-off-by: KheOps <kheops@ceops.eu>