Kani

Add kmir tool description and CI workflow #1542

Job	Run time
Verify std library (partition 1)	54m 5s
Verify std library (partition 2)	1h 15m 39s
Verify std library (partition 3)	1h 15m 21s
Verify std library (partition 4)	1h 45m 4s
Verify std library (partition 1)	50m 45s
Verify std library (partition 2)	1h 4m 41s
Verify std library (partition 3)	1h 31m 46s
Verify std library (partition 4)	1h 23m 17s
Kani List	26m 6s
	10h 26m 44s

Provide feedback