GCC compiler plugin for the dumping of C++ type information in a machine-readable format