Create a DOCKERFILE

[markhakansson]

Summary

Create a dockerfile so it is easier to use this tool in existing projects.

Examples

n/a

Context

All the dependencies might be tricky to install on every system (KLEE mostly) so having a dockerfile is definitely useful