fix local-bactrace with non-UTF-8 sources
...and python3 which switched to that as standard encoding
In general we "list" less lines by using "reverse-search" instead of "list" now (possibly a bit faster), and if in this match we still have non-utf-8 source we strip the output until the offending place.