Extend doc to describe an externalization example via the tikz-package