Ignore requests with unsupported DEs

+ Modernize and optimize process_request
Extract Judge::select_request

* Cache prepared SQL statement.
* Remove global $jid.
Extract Judge::lock_request
Extract Judge::save_log_dump
Ignore DEs defined in local config, but not on the server
Read DE parameters at startup only