Lucha social y guerra civil en Costa Rica, 1940-1948