Tweak sysutils/flyback version 0.4.0_5
Import print/gnome-specimen version 0.4_3
Update math/coq to version 8.4.3,1