Integrate PSB2 into the benchmarks

[folivetti]

There is a Python interface with PSB2 that we can use to grab the training and test set and integrate with the program synthesis benchmarks:

https://github.com/thelmuth/psb2-python