Add buffer_write64be()

Add a function to write 64 bits in big-endian from a uint64_t.