Soufflé: A Datalog Synthesis Tool for Static Analysis