yices: add 2.5.2 bottle for Linuxbrew.
yices: add 2.5.2 bottle for Linuxbrew.

dpo/homebrew-science,heuermh/homebrew-science,quantumsteve/homebrew-science,pditommaso/homebrew-science,andrewjpage/homebrew-science