Add support for the nnenum prover.

- Add an adapter shell script for running the nnenum python module under
  'config/bin/'. The user is supposed to set the PYTHONPATH env variable to the
  nnenum directory
- Use vnnlib driver