Update REST.php

try gzdecode on body if sent in binary format