Dockerization #26

Dockerfile is already written. Two main tasks:

• Integrate properly with Dockerhub with automated builds
  Currently the tool appears on Dockerhub at this url. On Docker hub, the organization is sysnetlab while the machine user is sysnetlabadmin (linked to rajjoshi@comp.nus.edu.sg). Also, the Github account used by Dockerhub is nussnl-docker (linked to rajjoshi@comp.nus.edu.sg).

• Figure out a way to invoke the tool from a simple single line Docker command along with the input file and options (if any). Passing arguments while instantiating a Docker container and doing volume mounting+copying is the challenge.