big_alloc() now takes a 64-bit argument.

big_alloc() now takes a 64-bit argument.

We would like to allocate buffers larger than 4 GB on 64-bit machines.
I've purposefully used u64 instead of size_t, because configuration
variables for buffer sizes will be usually u64's and big_alloc() is
the proper place to report buffer size errors.