Add 'stripext' filter plugin.

Strips the filename extension, if any, from the input string.