A non-parametric Bayesian approach to decompounding from high frequency data