Rename C jumpahead() functions to discard(), following naming in C++ random API.