File extension with Save and Load

[manuschneider]

The file extension has to be specified when using Load("file.cytnx"), but must not be added when calling Save("file"). This is confusing and inconsistent.