Wide stochastic networks: Gaussian limit and PAC-Bayesian training