Update wp-core.php

Adicionada função change_default_theme que seleciona o tema Grau como padrão.