Make path references OS independent

Change-Id: I5573995adfd52fd54bddc62d1d1ea78fb1328130
(cherry picked from commit b0f9a02394779c1c9422a9649412c9ac5fb0f12f)

Conflicts:

	command.py
diff --git a/manifest_xml.py b/manifest_xml.py
index 9d68f09..0103cf5 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -435,7 +435,7 @@
       worktree = None
       gitdir = os.path.join(self.topdir, '%s.git' % name)
     else:
-      worktree = os.path.join(self.topdir, path)
+      worktree = os.path.join(self.topdir, path).replace('\\', '/')
       gitdir = os.path.join(self.repodir, 'projects/%s.git' % path)
 
     project = Project(manifest = self,