implementation of @tailcall, new warning 50 (Expect_tailcall), + tests
only emit warning 50 (Expect_tailcall) if its active
in Simplif.emit_tail_infos, only emit annotations if required
favor `(f [@tailcall]) x y` rather than `(f x y) [@tailcall]`