Kani

Add kmir tool description and CI workflow #1573

Job	Run time
Verify std library (partition 1)	52m 19s
Verify std library (partition 2)	1h 16m 34s
Verify std library (partition 3)	1h 11m 52s
Verify std library (partition 4)	1h 51m 50s
Verify std library (partition 1)	38m 23s
Verify std library (partition 2)	52m 32s
Verify std library (partition 3)	1h 8m 33s
Verify std library (partition 4)	1h 30m 30s
Kani List	24m 11s
	9h 46m 44s

Provide feedback