lexicons/*: add all bobbin lexicons to our main collection #4308

The majority of the mass of the PR is autogenerated api/tangled code. The actual lexicons themselves are already in use by bobbin. Of course while we haven't published, anything is up to change but perhaps not in this PR specifically :p