Do not produce trace links for UNKNOWN status

[tautschnig]

Description of changes:

The HTML rendering of property failures should not include (broken) links to counterexample traces the property status of which is "UNKNOWN".

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.