GitLab

Also use *ShardIdV1 instead of string for the shard fun parameter to
WriteShardFunc and WriteReadme.

This avoids the need for the special "auto" string for the shard func.

Store the sharding function used in the file "SHARDING" in the repo.
To make this work the sharding function is now always specified as a
string.