improve handling of function summaries with structs

If a function summary refers to struct members, then the spaces
of the actual function argument and the local access relations
are combined in patch_space and therefore need to have the same
parameters.  Align the parameters of these spaces in the calling
function patch.

Reported-by: Michael Kruse <MichaelKruse@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
pencil_kill support
Merge remote-tracking branch 'gforge/kill' into HEAD
Applied patch for non-index integer arguments in function calls by Sven