Calling docker without sudo

[matthias-k]

Hi @tkunic,

I'm testing SMILER right now, it is really nice to work with! I ran into one minor issue: On the machine I'm using it, I don't have sudo rights, therefore I can't call docker as sudo docker. But this is hardcoded for smiler clean (and hardcoded without sudo for smiler run). It would be nice to either have an option to specify whether to use sudo, or to not use it at all. In the latter case, one can still use it via, e.g., alias docker="sudo docker"

Best,
Matthias