Add ShaFile.copy()

Produce a convenient copy method for ShaFiles.