Is there a good notion of holonomic $D$-modules on rigid analytic spaces?
Yes. Although it is only beginning to be developed.
You probably want to start with Berthelot: D-modules arithmétiques I : Opérateurs différentiels de niveau fini and Introduction à la théorie arithmétique des D-modules, and other papers that can be found at http://perso.univ-rennes1.fr/pierre.berthelot/ Section 5 of the second paper I mentioned is perhaps most relevant.
There is also a recent paper of Caro which I cannot find online called 'Holonomie sans structure de Frobenius et criteres d'Holonomie' which removes the necessity of the Frobenius action from Berhelot's work. I suppose he would send you a copy of upon request.
Finally, in a piece of shameless self-advertising, Konstantin Ardakov and I recently put a preprint on the arXiv http://arxiv.org/abs/1102.2606 part of which seeks to find a framework to further develop the theory.