Fix capability analysis.

Previously we assumed that the alloca that stores a parameter has the same name as the
parameter plus the .addr suffix. However, this is not always true so we now use
the llvm.dbg.declare intrinsic to get the name of the parameter that the alloca value
corresponds to.
Merge branch 'master' of github.com:CTSRD-SOAAP/soaap