tactic docker version

[remkonoteboom]

Hi Diego, I know you've built docker images before. We've done it internally as well. It would be great to have an official one which we can build an possibly even post on Docker hub. Do you have a DockerFile that you can share with us? We could also add one to the TACTIC source (in the install folder) so people could modify it and build their own docker instance if they wished.