Fixes the the code summarization and variable misuse toolspecs. Also fixes server in frama-c, frama-clang and excavator.
