De Rham cohomology for supervarieties