v0.13.1

A scheduled backup missed while the cluster was off runs when it is back, up to a day late, once; its dumps wait for the databases and its bucket copies are retried, 10 minutes each. Also in this release (0.13.0): the login can be turned off behind an authenticating proxy, and the session cookie stays out of the directories below the top one.