Add curve25519_abort()'s definition and a comment about future use.