* [server-pro] trim build context
* [misc] remove old Makefile/mvn cache folders from gitignore
* [misc] add extra entries from .gitignore to .dockerignore
Co-authored-by: Antoine Clausse <antoine.clausse@overleaf.com>
---------
Co-authored-by: Antoine Clausse <antoine.clausse@overleaf.com>
GitOrigin-RevId: 2ebca7d6739f778ec31d0c09fd6a75029bf2483e