French cyber-security agency open-sources CLIP OS, a security hardened OS