linuxmint17 dockerdevenv