Kani

Add kmir tool description and CI workflow #1605

Job	Run time
Kani List	25m 20s
Verify std library (partition 2)	1h 19m 29s
Verify std library (partition 1)	50m 27s
Verify std library (partition 3)	1h 18m 41s
Verify std library (partition 4)	1h 44m 36s
Verify std library (partition 2)	56m 14s
Verify std library (partition 3)	1h 8m 26s
Verify std library (partition 1)	38m 47s
Verify std library (partition 4)	1h 19m 25s
	9h 41m 25s

Provide feedback