Log Message:
Update to 1.13.1.

The changes against 1.13.0 are rather small:
    a fix for a crash happening when mixing different gcc versions
    and demangling fails (fdo#52539)
    using portable way to include header for free (fdo#52536)