Merge pull request #2206 from Alizter/ps/rr/being_trivial_is_invarian… …t_under_iso being trivial is invariant under iso

Merge pull request #2102 from jdchristensen/emacs-headers Remove emacs headers and put visual-line-mode in .dir-locals.el

Merge pull request #1900 from gio256/coeq Zero-groupoid universal property for coequalizers

Merge pull request #1743 from Alizter/update-8.17 

Merge pull request #1735 from Alizter/ps/rr/nix__add_coq_lsp_to_dev_s… …hell

Merge pull request #1648 from patrick-nicodemus/monoidal-cat 

Merge pull request #1620 from Alizter/fix-warnings fix warnings

Merge pull request #1583 from Alizter/wc-misc-prod Product functors, swap functor

Merge pull request #1443 from andreaslyn/infinitary-universal-algebra Term algebra and congruence

Merge pull request #1431 from Alizter/makefile_fix modified _CoqProject so that it works with coq_makefile