Merge pull request github-linguist#3314 from github/coq-kiq

Replace GPL-licensed Coq samples

Merge pull request github-linguist#3296 from github/cut-release-v4.8.16

Staging PR for Linguist v4.8.16 release

Linguist 4.8.15

Merge pull request github-linguist#3240 from github/cut-release-v4.8.14

v4.8.14 release

Bumping to v4.8.13

Merge pull request github-linguist#3214 from pchaigno/remove-sublime-…

…syntax

Remove support for .sublime-syntax

Merge pull request github-linguist#3212 from github/cut-release-v4.8.11

Cut release v4.8.11

Merge pull request github-linguist#3203 from github/cut-release-v4.8.10

Cut release v4.8.10

Merge pull request github-linguist#3165 from github/cut-release-v4.8.9

Linguist v4.8.9

Merge pull request github-linguist#3116 from github/cut-release-v4.8.8

Bumping to v4.8.8