coq v8.3pl5.

Formula is for coq v8.3pl5, the latest version of the 8.3 branch.
This is not intended to be merged in the brew master branch, but in the homebrew-versions branch.

Closes #71.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>