[junk] delete infer/src/java/doc.odocl
[junk] delete infer/src/java/doc.odocl

Summary:
Welp, that was an *old* file. Originally to emit odoc for the Java
frontend.

Reviewed By: dulmarod

Differential Revision: D21594244

fbshipit-source-id: b9ba078c0

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