Fixes #4253: Correct tools/get_promises.py to use the right shebang
Merge pull request #16 from Kegeruneku/bug_4253/dev/4253_fix_shebang_in_get_promises_py

Fixes #4253: Correct tools/get_promises.py to use the right shebang