Rename compression_solver.py to pctf2013_compression_solver.py