Jenkins pipeline that builds shinyproxy. The main branch tags the built image as "latest". Create a branch and add a corresponding Jenkins job if you want to build a specific version.