move ghprb.py to tools/jenkins-scripts/
remove other non-functional jenkins scripts
Merge pull request #4745 from heliclei/develop

move ghprb.py to tools/jenkins-scripts, delete other non-functional scripts