rename allpath_hprop to path_ishprop, close #545
Merge pull request #548 from mikeshulman/path-ishprop

rename allpath_hprop to path_ishprop, close #545
./autogen.sh