[docker] remove duplicate dependency
[docker] remove duplicate dependency

Summary: Leaving the upgrade to 0.15.0 for later.

Reviewed By: da319

Differential Revision: D9194950

fbshipit-source-id: d93c33a5d

jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer