Doc

This patch set:

• remove unecessary finalize calls in the documentation*
• G5k: show that we can omit the production network for the primary interfaces
• reformat schema (for now only G5k and related providers, vagrant and IOTlab)