Inline function calls when checking summaries

Add command line Parser
Output proof to a directory

Tuning CPAcheck configuration

Not import module "six"