Use public names for `fields_derivers.zkapps` and `mina_base.import`

[georgeee]

For libraries fields_derivers.zkapps and mina_base.import always use public name in other libraries' dependencies.

This change doesn't affect dune compilation, but allows to always distinguish nonconsensus libraries from their consensus "originals", even if the profile check is not performed.

This in turn reduces number of concerns involved in dependency analysis.

Explain how you tested your changes:

• It compiles

Checklist:

• [x] Dependency versions are unchanged
  • Notify Velocity team if dependencies must change in CI
• [x] Modified the current draft of release notes with details on what is completed or incomplete within this project
• [x] Document code purpose, how to use it
  • Mention expected invariants, implicit constraints
• [x] Tests were added for the new behavior
  • Document test purpose, significance of failures
  • Test names should reflect their purpose
• [x] All tests pass (CI will check this if you didn't)
• [x] Serialized types are in stable-versioned modules
• [x] Does this close issues? None

[georgeee]

!ci-build-me