[Core] Add a function to make a git pull (fixes #11).