Added blurb on GUI config files
Added blurb on GUI config files
Added identity_color and font to the initialization
Added extra check for wx.lib, and removed warnings about optional packages
Added xmlrpc-theory-decl* (declaration), and handle the cases where id is nil
(e.g., judgements without identifiers)