Add mirage library dep, and fix Makefile gen
Add pretty colors
Update autogen files
Fix KV_RO test