[Benchmark] Codeflaws: A Programming Competition Benchmark for Evaluating Automated Program Repair Tools