GitLab

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.