Machadito (combatiente revolucionario)