Switched from rust-core to libstd

The bare metal version of the libstd should be maintained in a separated
repository after it becomes a bit more mature.