Display contract names in UI #1774

Job	Run time
Build Echidna on ubuntu-20.04	3m 29s
Build Echidna on macos-latest	5m 19s
Build Echidna on windows-latest	8m 48s
Test with solc 0.4.25 on ubuntu-latest	3m 16s
Test with solc 0.5.7 on ubuntu-latest	3m 42s
Test with solc 0.6.12 on ubuntu-latest	3m 46s
Test with solc 0.7.5 on ubuntu-latest	4m 7s
Test with solc 0.4.25 on windows-latest	4m 28s
Test with solc 0.5.7 on windows-latest	4m 37s
Test with solc 0.6.12 on windows-latest	5m 17s
Test with solc 0.7.5 on windows-latest	5m 22s
	52m 11s

Provide feedback