What is the recommendation for running docker *on* Kali 2017.1? Thanks.