Move all header files to the subdirectory "platform" to allow other platforms that do not allow softlinks to use the include of the form "include platform/$HEADER.h".