fix script header

This is part of series of PRs from Debian fixes (see https://anonscm.debian.org/cgit/debian-science/packages/gmsh.git/tree/debian/patches).

This patch adds a python script header.