fixed batfish functions wrt unix/windows-style paths
Merge branch 'unstable' of github.com:arifogel/batfish into unstable