Add some of the PHP extensions to the Dockerfile
Add some of the PHP extensions to the Dockerfile

This change adds the php7.4-{json,mbstring,xml} extensions.

omegaup/hook_tools,omegaup/hook_tools,omegaup/hook_tools