syntax: adding \b \v and \f escape codes.
misc: fix syntax highlighting for new escape codes.
tools.coverage: change test-coverage to not test recursively.
ini-file: use new escape codes.