add github pull request builder script for jenkins