BIP340 updates: clarifications, variable-length messages, expand domain separation

For clarification, this does not make any semantics changes apart from permitting messages to have another length than 32. BIP341 and BIP342 obviously keep making use of just the 32-byte ones, and are thus unaffected.

Specification