bug fix at CauseInferenceer
added ext/libzen module
update build.xml
sync libzen repository
update HOW TO BUILD document