Namespace separator

Hello Internals,

with many thanks to Greg we now have settled on \ as the namespace
separator. The next topic on the agenda is name resolution:
http://wiki.php.net/rfc/namespaceresolution

Best regards,
Marcus