basename_sub

[akimd]

Hi,

This is a very simple complement to sub and ext_sub. I believe basename_sub is more natural than sub, and in fact sub's example is actually pretty-much an example of basename_sub.

base_sub is shorter, but looking at the API I went for basename_sub. I might have been wrong.