Fixes #877.

Nowadays, Metrics has option -metrics-no-libc to exclude definitions from
the Frama-C standard library, which was the purpose of the __FRAMA_C_MODEL__.
Also, several libc variables were lacking the attribute, leading to
inconsistent results.