[bips] Merged PR from pad01g: Fix wrong test vector in BIP-388. Sometimes /<0;1>/* is missing. Sometimes it is incorrectly written as <0,1>. https://github.com/bitcoin/bips/pull/1694