Switch to rust libcore

The code still requires cleanup, for now main.rs re-exports all required std
symbols.