old_contents: from distutils.core import setup
  setup(name='claripy', version='0.01', packages=['claripy', 'claripy.backends', 'claripy.solvers', 'claripy.vsa'])
  
new_contents: from distutils.core import setup
  setup(name='claripy', version='0.01', packages=['claripy', 'claripy.backends', 'claripy.frontends', 'claripy.vsa', 'claripy.ast'])
  
subject: update setup script