[Gasta-general] version 2.1.1-pre3 is available

[<gui...@po...>]

The main improvement is the new fix point algorithm (annotAnalysis.c)
which detect if a pointer can be nul when it reaches a return statement.
It will allow the annotation of the funtion as it can return a nul
pointer /*@NULL@*/. There is still some troubles but this is the first
steps before the real annotation...

Guillaume