Guerra rivoluzionaria