Rename prova1 to prova1.md