Create a github repo for stdlib?

[mio-19]

[ice1000]

I think maybe in the future. Because we are changing language features all the time at this point, it's better to couple the library with the compiler. Once we have semi finished the frontend, we could start working separately.