Add some path/file operations to File plugin

I need to be able to get the extension of a path/file and the filename itself from a path in a cross-plat way.
This seems relatively harmless to me and others might find it handy.