slight improvements in GitRepo.ls(), .changed(), and .pdiff()

ls(): lock down a particular rev
changed() and pdiff(): tell git-diff-tree to not print commit id
make HashDict map from str to bytes
Merge branch 'develop' into feature/fix-copy-cache