[docker] use latest infer release
[docker] use latest infer release

Summary: Bump version to 0.12.0. This should also fix Travis issues as 0.12.0 uses opam.lock for its opam dependencies, which points at non-broken package versions.

Reviewed By: cristianoc

Differential Revision: D5208632

fbshipit-source-id: 36d75ee

jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,ropas/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,ropas/infer,ropas/infer,ropas/infer,blzq/infer,blzq/infer,jvillard/infer,jvillard/infer,ropas/infer,blzq/infer,facebook/infer,blzq/infer,jvillard/infer,blzq/infer,facebook/infer,blzq/infer,jvillard/infer,ropas/infer