[scheduling] Export task IDs as comments in DIMACS output.