Merge branch 'fix_script_header' into 'master'

fix script header

See merge request !31

contrib/onelab/python/onelab.py

@@ -27,6 +27,8 @@ Please report all bugs and problems to the public mailing list
 <gmsh@onelab.info>.
 """
 
+#!/usr/bin/env python
+
 import socket, struct, os, sys, subprocess, time
 _VERSION = '1.3'