www/hotcrp: undeprecate the port (update to the latest version)
- Version 3.0.0 was released in March 2024 for PHP 8.2 and 8.3
- ZIP archives are now generated natively instead of using the external program, adjust dependencies accordingly
- Expand the port description text and fix some minor Makefile issues while I'm here