tools: escape double quotes in company names

Double quotes in company names are properly escaped so that they are
valid C string literals.
diff --git a/tools/parse_companies.pl b/tools/parse_companies.pl
index f755390..99d3f31 100755
--- a/tools/parse_companies.pl
+++ b/tools/parse_companies.pl
@@ -51,6 +51,7 @@
         my $name = uri_decode($1);
         $name =~ s/^\s+//g; # kill leading
         $name =~ s/\s+$//g; # and trailing space
+        $name =~ s/"/\\"/g; # escape double quotes
         my $id = hex($identifier);
         if ($id != 65535) {
             print "\tcase $id:\n";