jukebox-0.2.9: A first-order reasoning toolbox