CoInfra: A Large-Scale Cooperative Infrastructure Perception System and Dataset in Adverse Weather