Merge pull request #261 from Romain-Geissler/discovery-path-v2

Fix: GIT_PATH_PATH_SEPARATOR is now a semi-colon under Windows.

diff --cc include/git2/repository.h
Simple merge

diff --cc src/common.h
Simple merge

diff --cc src/fileops.h
Simple merge

diff --cc tests/t12-repo.c
Simple merge