Hide Java stdlib collections impelementation details in the trace

[eupp]

Consider the following example:

var counter = 0
val map = ConcurrentHashMap<String, Int>()
map.computeIfAbsent("abc") {
    counter++
}

Currently, if a lincheck test fails in such a case, it would also output in the trace all the implementation details of the concurrent hash map (or any other stdlib collection). These details typically would not be relevant to the user (assuming bug occurs in user code, and not in the Java stdlib classes themself).

We need to improve on this, and do not show these details by default to the user.

Depends on #501 and #506

[eupp]

Related issue #506