palmskog use Coq 8.7.1 in Travis

Latest commit 8584ec0

Dec 19, 2017