Removed APU mention and chapter.
Updated extension names and versions.
Added guidelines when synthesizing with FPU.
Moved Verification information from introduction to a specific chapter.
Moved Tracer chapter in Verification one.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>