Improve save and reload towards global scan (see: #62).

• Closes #40 (closed), by changing the way storage is computes for save and reload by using the tags of the accessing instructions, not the inames.
• Allow a single representative per base_storage equivalence class to be saved and reloaded (see also: #42).
• Removes InstructionQuery class from schedule tools.

Still needs:

• tests