Update WALA submodule

Manu pushed some changes for annotations that might be useful.
Restructure test to use our own K-object sensitive call graph build

See #45.