basically extracted all portable symbol code from wdbg and mmgr, so that we can use it on linux as well. This was SVN commit r1891.
