Patch implementing new W32_GETREGNAMES builting by Bojan Resnik. Added a corresponding test for the new builtin. And cleaned up some of the documentation.