use map<string,int> instead of map<char*,int>

since the char-pointers might point to the same string
at different locations, and the key-lookup would only
compare the pointers...

CHECK: does this slow down the code significantly?