clusterd: Increase max broadcast push to 80000

/etc/group.debian is now 65538 bytes and can no longer be pushed with
udp push (`clusterd --push FILE`) . We can't just change the caller
to tcp push (`clusterd push FILE`), because the tcp push command
completes asynchronously and the following `/usr/sbin/clusterd
--flush-gidcache` would be to early.

Increase maximum size for udp push as a temporary workaround.

clusterd/clusterd

@@ -653,7 +653,7 @@ sub push_file {
 	my $rpc;
 	if ($st->type eq 'F') {
 		$rpc='filedata';
-		$st->size<=65536 or die "$filename: to big for broadcast (max 65536 bytes)\n";
+		$st->size<=80000 or die "$filename: to big for broadcast (max 80000 bytes)\n";
 		if ($st->size==0) {
 			udp_broadcast_message($donald_s,$rpc,$st,0,'');
 			return;