A GCC 4.8 plugin for C code dumping as activity graphs