RunBugRun -- An Executable Dataset for Automated Program Repair