Fix calltips positon (must add top margin size, not an arbitrary hardcoded number^^)
Fix encoding detection in python (shebang line was not parsed anymore)
Merged 'develop'.