Have a more explicit ''Configuration Error'' displayed when a TracIni entry of type int (i.e. an `IntOption`) is set to a value not convertible to an int.
Closes #8264.
Authored by: cboos 2009-05-10
Parent: [r8184]
Child: [r8186]
