Add license blurb to darkproxy.php.