fix: remove double escaping in murphi2c

When emitting a print statement for a Murphi put statement of a string, the
string was incorrectly escaped. The value in a Put node in this case is already
naturally escaped, so needed no further escaping.