Code cleaning

* "#ifdef PARANOID" is used to isolate too paranoid code
* Added instant thread_gc after any thread exit
* doxygen support improved
* "DEVELOPING" is updated due to doxygen support