Some bonsai_web_component libraries are missing public_name

As far as I understand, without `public_name`, the libraries won't be installed.

examples of libraries missing `public_name`:
- https://github.com/janestreet/bonsai_web_components/blob/f87534894c3bb08c751eedc837c0bfdf2472ee1d/notifications/src/dune
- https://github.com/janestreet/bonsai_web_components/blob/f87534894c3bb08c751eedc837c0bfdf2472ee1d/not_connected_warning_box/src/dune

example of libraries having `public_name`:
- https://github.com/janestreet/bonsai_web_components/blob/f87534894c3bb08c751eedc837c0bfdf2472ee1d/drag_and_drop/src/dune

Compare notifications/src/dune and not_connected_warning_box/src/dune with drag_and_drop/src/dune, focusing on how the public_name field is declared. Check the repository's Dune package and installation conventions before updating the two missing declarations. Done means the affected libraries have appropriate public_name values and are included when the project is installed.

Written by the indexing model from the issue text.