Never emit `INLINE_ORIGIN` directives without a name

[Gabriele Svelto]

This is somewhat similar to when we emit symbols lacking a name, however in that case the name is an option and set to None while for inlinees we get an empty string.