Add ffi package to the sdk bundle

tools/bundle_sdk.py

 #!/usr/bin/env python
 # Copyright (c) 2015, the Fletch project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 # This script is creating a self contained directory with all the tools,
 # libraries, packages and samples needed for running fletch.
 
 # This script assumes that the target arg has been build in the passed in
 # --build_dir. It also assumes that out/ReleaseXARM/fletch-vm has been build.
 
 import optparse
 import subprocess
 import sys
 import utils
 
 from sets import Set
 from os import makedirs
 from os.path import dirname, join, exists, basename, abspath
 from shutil import copyfile, copymode, copytree, rmtree
 
 TOOLS_DIR = abspath(dirname(__file__))
 
-SDK_PACKAGES = ['file', 'fletch', 'gpio', 'http', 'i2c', 'os',
+SDK_PACKAGES = ['ffi', 'file', 'fletch', 'gpio', 'http', 'i2c', 'os',
                 'raspberry_pi', 'socket']
 THIRD_PARTY_PACKAGES = ['charcode']
 
 SAMPLES = ['raspberry-pi2', 'general']
 with open(join(TOOLS_DIR, 'docs_html', 'head.html')) as f:
   DOC_INDEX_HEAD = f.read()
 with open(join(TOOLS_DIR, 'docs_html', 'tail.html')) as f:
   DOC_INDEX_TAIL = f.read()
 
 DOC_ENTRY = ('<dt><span class="name"><a class="" href="%s/index.html">%s</a>'
@@ skipping 196 matching lines @@
     CopySamples(sdk_temp)
     CopyAdditionalFiles(sdk_temp)
     if deb_package:
       CopyArmDebPackage(sdk_temp, deb_package)
     sdk_dir = join(build_dir, 'fletch-sdk')
     EnsureDeleted(sdk_dir)
     copytree(sdk_temp, sdk_dir)
 
 if __name__ == '__main__':
   sys.exit(Main())