Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere