Factoring out WALA-independent features into new package.
Added note to README.md about factorisation.