python: Fix name of example script in EXTRA_DIST.
Version 1.1.5.