Delete a judge
204 No Content on successful deletion.
curl -X DELETE https://api.judge.example.com/judges/jdg_xyz789 \
-H "Authorization: Bearer YOUR_API_KEY"
curl -X DELETE https://api.judge.example.com/judges/invalid_id \
-H "Authorization: Bearer YOUR_API_KEY"
curl -X DELETE https://api.judge.example.com/judges/jdg_active \
-H "Authorization: Bearer YOUR_API_KEY"