Update math/coq to version 8.4.2,1
Tweak math/naturalmath version 0.5_6
Tweak audio/arts version 1.5.10_8,1