fix compilation error in ProofGeneral

remove (setq byte-compile-error-on-warn t) because obsolete variable (as of 24.3) `special-display-regexps` breaks byte-compilation.

Refer to http://proofgeneral.inf.ed.ac.uk/trac/ticket/458