Change Soot args via project properties

* Soot args can now be modified from the "Ekeko properties" page in a
project's properties window.
* Use these args to greatly speed up the analysis (sacrificing
precision..): "-no-bodies-for-excluded -src-prec c -f jimple
-keep-line-number -app -w -p cg.cha"