This interfered with key rotation, and was not widely used. Removing
the feature is the more general approach, and the worst that will
happen is that some applications will see more sessions than they
strictly need.
Change-Id: Ide2238433af296e729e4401711672fb17257093e
This script checks for versioning mistakes and will prevent npm
publication if any of the checks fail.
This also drops the check.sh script, which nobody was using.
Related to #30
Change-Id: Ic8e504515ac31beb7833207aa2ac463d40cfae88