Re: [ET Trac] [Einstein Toolkit] #1715: Add Jenkins configuration for build of all external libraries