* README: Introduce Spot, and point to the documentation. * wrap/python/ajax/README: Mention ltl3ba 1.0.2.