1 maj borde blifva en allmänarbetarefridag