New packaging machine

We move the patching operations from CI's ExportTool to Jenkins where the packaging is executed.

To run the patching efficiently (parallel jobs) we need fast machine.

16 cores
fast disk

Also the following Python2 libs need to exist on the machine:

import os
import sys
import argparse
import shutil
import tarfile
import tempfile
import re
import sh
import glob
import distutils
import urllib2
from bs4 import BeautifulSoup