A TV-Gaussian prior for infinite-dimensional Bayesian inverse problems and its numerical implementations. (27th May 2016)