Check on post_max_size in REST API.

The comparison of post_max_size and $_SERVER['CONTENT_LENGTH'] allows
us to give a better error message when a judgedaemon posts too much
data in a single request.