Rename SketchFile.deleteFile() to delete()

The extra "File" in the name was a bit redundant, and this is more
consistent with `Sketch.delete()`.

Author: matthijskooijman

app/src/processing/app/SketchController.java

@@ -254,7 +254,7 @@ public void handleDeleteCode() throws IOException {
         editor.base.handleClose(editor);
       } else {
         // delete the file
-        if (!current.deleteFile(BaseNoGui.getBuildFolder(sketch).toPath())) {
+        if (!current.delete(BaseNoGui.getBuildFolder(sketch).toPath())) {
           Base.showMessage(tr("Couldn't do it"),
                            I18n.format(tr("Could not delete \"{0}\"."), current.getFileName()));
           return;

arduino-core/src/processing/app/SketchFile.java

@@ -128,7 +128,7 @@ protected boolean fileReadOnly() {
   }
 
 
-  protected boolean deleteFile(Path tempBuildFolder) throws IOException {
+  protected boolean delete(Path tempBuildFolder) throws IOException {
     if (!file.delete()) {
       return false;
     }