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