savefile (File): File to which to save the current console environment to.
Fully saves the current console environment to the given file in the disk, including variable associations and state of the elements associated with such variables, so that they can later be loaded and recovered in exactly the same state.