makefile: remove use of -bin-annot by default

On my EeePC the compilation with cmts generation takes 1m18s, but only 48s
without them.
That's not much of a difference, but we only use cmts when working on merlin, so
we shouldn't make the compilation longer for everyone else (most notably: people
installing merlin through OPAM).