better INFINITY in src/plfit/platform.h
Merge branch 'develop' of github.com:igraph/igraph into develop