add jenkins script and update the docs accordingly