Update the storage specification to the last protocol update

Related to !983 (merged)

Address #724

• Updates the generate_context.rb with the new contents of Storage.v and add some documentation and formatting, it also cleans up generated file whitespace (like trailing whitespace and blank likes at the end of the files)
• Update Proofs/Raw_context.v , Proofs/Storage_seed.v and Proofs/Storage.v
• Add Indexed_data_storage_with_local_context.erb template, this is a copy of Indexed_data_storage.erb with the needed weeks, the simulation is a map just like Indexed_data_storage