BUGFIX: correct AP subsets and formula in contrib/readdstar.py
BUGFIX: correct AP subsets and formula in contrib/readdstar.py

Correct parsing of output from ltl2dstar. Previously the mapping of
bitvectors to subsets of true atomic propositions had an error. This
manifested both in the subets of AP and formulae annotating the
automaton.

necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,necozay/tulip-control