Add Knights and Knaves puzzle dataset

[andreaskoepf]

In the Logic-RL paper the authors generate Knights and Knaves puzzles.

Code for generating K&K problems: https://github.com/AlphaPav/mem-kk-logic/blob/main/data_prep/data_gen_kk.py and https://github.com/AlphaPav/mem-kk-logic/blob/main/data_prep/lib_kk.py

Create a similar dataset for reasoning-gym including unit tests and score_answer() method.

[vncntt]

working on this