[4.2] Added A File::name() Function

This would be handy I think.
This retrieve the name of the file without the extension as we already have File::extension().