Adds deployment script for Jenkins CI