Merge branch 'master' into rename

src/platform/src/linux/mod.rs

src/platform/src/redox/mod.rs

src/platform/src/types.rs

src/signal/src/lib.rs

src/time/cbindgen.toml

src/time/src/lib.rs

tests/.gitignore

tests/Makefile

tests/time.c