clean up code that was stagnant in tests/configjavarw.xml + re-add pdf skips
fix failing io test
Merge pull request #791 from andreistefanescu/unified-builtins2

fixed issue with AddInjections not changing the productions properly; fi...
Replace literal CR with escape sequence

The fix_whitespace script used to include a literal carriage return
character in one of the replacements, which it quite confusing if
you just cat it. This instead uses bash's support for escape sequences
in $-prefixed string literals.
revert added tests that Yilong says are unnecessary
Merge pull request #792 from kframework/bash_escapes

Replace literal CR with escape sequence
Merge pull request #790 from dwightguth/ktest

clean up code that was stagnant in tests/configjavarw.xml + re-add pdf s...