Added generated files (LPSs and PBESs) and logfiles for Connect Four.