Fix geppetto-linux Eclipse launcher
Make Diagnostic a Formattable

Diagnostic now implements the Formattable interface which means
that it can customize the output of a Formatter printout that
is using the %s notation. The Exception diagnostic uses this
to include the exception stack trace.