Update site for the MicroC Eclipse plugin.
MicroC is a restricted version of C supported by the Why3 for proving program correctness.