Support building for Redox

.gitmodules

Cargo.lock

platform/Cargo.toml

platform/src/lib.rs

platform/src/redox/mod.rs

ralloc

src/stdio/Cargo.toml

src/string/src/lib.rs

va_list