System.File.rmdir()をSystem.File.delete_exe()に移動したい

`System.File.rmdir()`は空ディレクトリを削除する関数ではなく、
ディレクトリの中身含め再帰的に削除するための関数になってます。
これは命名的にあまりよくないと思ってるのですがどうでしょうか。

また、移動したい理由の1つに、空ディレクトリのみを削除する関数がほしいと思っています。
ですが`System.File.rmdir()`はすでにあり、別の機能の関数だったため、このissueを立てたというのがこれまでの経緯です。