Fixing StringUtil escape not taking into consideration '\f'.
Merge pull request #299 from kframework/backslashf-fix

Fixing StringUtil escape not taking into consideration '\f'.