math/ltl2ba: Add ltl2ba version 1.3
Packaged in wip by Mayuresh <mayuresh@acm.org>
