Make sure the Alethe consumers understand the additonall annotations (and ignore them)

changed milestone to %Release 0.4

I checked that carcara does this. So SMTCoq and Isabelle remain.

added wishue label

added todo-Carcara todo-Isabelle labels

removed todo-Isabelle label