Ubuntu: Docker behind proxy