add optional arg to base-name to trim-ext, like unix basename

[miner]

I often need to make a new file with the same root, but a different extension. This patch overlaps somewhat with the new name function. However, trim-ext can also be used to trim only a particular extension. The functionality is similar to the unix basename.

[Raynes]

You're on a roll.