added utf8_basename()

This is a locale independent version of basename to work around
https://bugs.php.net/bug.php?id=37738

The function is not yet used anywhere. It should be at least used
where ever non-ASCII filenames and paths are handled. Simply replacing
all calls to basename() with this function might be the safest.