اول ماه مه، روز جهانی کارگر، بر کارگران، زحمتکشان و آزادی خواهان ایران مبارک باد