Use cached build of Poly/ML and HOL for Travis regression