Flattening the context, part 3

Part of #711 (closed)

The Simulations/Raw_context.v was divided in three

• Raw_context_aux.v has the config and standalone type
• Raw_context_generated.v has the t type and it requires the _aux file
• Raw_context.t includes Raw_context_generated and defines some functions over the t type

I tried to make two files only but the functions at the end of the old Raw_context.v would have to be hardcoded in the script, so I thought that it would be better to have them outside