Initial import of fuzzer

It needs:

* boolector/any other SMT solver with SMTLIB2 input to check for solutions
* python
* correct directory path for executable
* correct directory path of smtfuzz

It needs to be improved to:
* check SAT solutions (can be checked in poly/linear-time)
* use other solvers (it can, very easily, but it must be updated with
  their name, etc)

Closes #12