Correct way for taking large input from keyboard

std::io::stdin() already is buffered. Re-buffering it only increase the memcpy calls.

Edit: this behavior is documented.