Add autoharness-analyzer CI job #1686

Job	Run time
Kani List	23m 12s
Verify std library (partition 2)	1h 10m 59s
Kani Autoharness Analyzer	26m 34s
Verify std library (partition 1)	37m 16s
Verify std library (partition 1)	51m 23s
Verify std library (partition 4)	2h 14m 52s
Verify std library (partition 2)	56m 2s
Verify std library (partition 3)	1h 26m 58s
Verify std library (partition 3)	1h 7m 59s
Verify std library (partition 4)	1h 17m 38s
	10h 32m 53s

Provide feedback