Support for patched WALA

To use, simply place your patches in WALA/patches and adapt
WALA/pom.xml accordingly. Then run "mvn -N patch:apply" *prior*
to your normal "mvn clean install".