gamma.10 - added header to open files using protocol wrappers
gamma.10 - fixed c++ compilation problems (might break things for some compilers)
gamma.10 - updated file-opening protocol thing
gamma.10 - fixes to build chain
gamma.10 - updated protocol-specification format
gamma.10 - tested file protocols and revised programs to use them for config files