OTRv3 upgrades to otr4j

For now, extra symmetric key and extra application data.

Not yet ready for merging.