fixed description of why3 0.81

make only one-line description