[m-dev.] move to // comments in C

[Zoltan Somogyi]

On Sun, 10 Jul 2016 00:40:48 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:

> > As I was cleaning up the runtime, I noticed that it had one // style
> > comment, in mercury_stack_trace.c, which has been there since 2012.
> > Since noone has reported any problems with it, I propose that we
> > change our official programming style for C code to prefer // comments
> > over /* */ comments.
> 
> No objection from me.  (The only place where C99 potentially causes
> problems is MSVC, but it has supported // style comments as an
> extension for a long time.)

If noone else objects today, I intend to commit this tomorrow,
and then convert the comments in the runtime.

Zoltan.