This is the second DKAL public release. New features:
- New Propositional Primal Infon Logic based Logic Engines: BPIL, SPIL, TPIL
- Quantified Infon Terms ("forall")
- Updated syntax
