Is RFC 1393 implemented by real routers in practice?
Are there any tools that generate traceroutes using it?
The new ICMP message type as defined in this RFC actually was added to the ICMP standard - Though it's currently listed as historical in RFC 6918:
And mentioned in RFC 6814 where it's formally deprecated:
I very much doubt there will be any current tools that would have this kind of functionality supported.
Quoting from RFC6814 which obsoletes RFC1393
So yes there should have been implementations for this (some one even implemented IP over avian carriers) but I've never seen one.