Update shell formatting of stacktrace to R15

The new stacktrace format has a 4th element in the tuple which
contains location info (file and line). We don't print this out
yet. We don't generate it in the compiler either.