Fix printing "no changes to be saved" with verilog-batch. Reported by Dan Dever.

	* verilog-mode.el (verilog-batch-execute-func): Fix printing "no
	changes to be saved" with verilog-batch. Reported by Dan Dever.
Do not batch re-auto files loaded by Local Variables.

	* verilog-mode.el (verilog-batch-execute-func): Do not batch
	re-auto files loaded by Local Variables. Reported by Dan Dever.
Merge from emacs trunk: Use font-lock-ensure to avoid workaround.

 commit d6a1f0c99732ffed9959dfbfee3c4365b48e9398
  Author:     Stefan Monnier <monnier@iro.umontreal.ca>
  AuthorDate: Wed May 28 23:45:29 2014 -0400
  Commit:     Stefan Monnier <monnier@iro.umontreal.ca>
  CommitDate: Wed May 28 23:45:29 2014 -0400

    ...
    * lisp/progmodes/verilog-mode.el (verilog-preprocess): Disable workaround in
      recent Emacsen.
Add verilog-auto-arg-format to support newlines in AUTOARG.

	* verilog-mode.el (verilog-auto-arg-format)
	(verilog-auto-arg-ports): Add verilog-auto-arg-format to support
	newlines in AUTOARG. Reported by Jie Xiao.