Dockerize

[Lipen]

Add dockerfile to allow using fbSAT via Docker.

[Lipen]

Initial take was made long time ago in cd2d3e6 on feature/docker branch.
As fbSAT heavily relies on SAT solvers, they should also be included in Docker distribution. Currently, fbSAT is able to use JNI wrappers from a separated kotlin-jnisat project — on some systems the provided shared libraries do not work well, so the Dockerized solution might be of great help in those situations.