Warn the user when a declaration is skipped by C extraction
This MR enables by default the error messages that the C extraction outputs when a declaration is skipped. They are disabled in multiprecision because there are too many (mostly from stdlib).