Add WALA IR PDF without Pi-nodes

Wala has some analysis options to add Pi-nodes. This is not typical of
SSA analysis and I am not certain what it does or how much value it adds
so I am going to not use it (for now).

https://github.com/wala/WALA/blob/master/com.ibm.wala.core/src/com/ibm/wala/ssa/SSAPiInstruction.java

See #1.