Switch the igraph/C repo to the `develop` branch, run `tools/update-cigraph.sh` . This leads to compilation errors that need to be fixed. Can we make this our priority?