Cachix workaround & push kevm to k-framework-binary cachix
#2841
+151
−6
k-framework-binary cachix
#2841