Patch: Linker + Verifier fixes

[Andrew Haley]

Robert Schuster writes:
 > Hi,
 > this is again :) my linker & verifier patch. I checked it against my test setup
 > and saw that static method are not handled correctly: A NoSuchMethodError is
 > thrown although it should be a NoClassDefFoundError. This however seems to be
 > related to another patch (not by me).  fixed it in a non-intrusive way.
 > 
 > Note:
 > The patch introduces a memory leak because of some objects which are not
 > reachable by the garbage collector. I wrote a TODO for this and promise to file
 > a PR when the patch is applied.

This is OK for trunk.  Please do a full gcc bootstrap and make sure
there are no regressions and then check in the patch.

Andrew.