Skip test if required modes are missing
Add a Coq syntax checker
Provision Coq on test systems
Merge branch 'coq'

* coq:
  Provision Coq on test systems
  Add a Coq syntax checker
  Skip test if required modes are missing

Conflicts:
	test/flycheck-test.el
Update changelog and texinfo manual