[1.0.0] Update fmd-server to 0.13.0 Full Changelog Add a robots.txt (!138) Set User-Agent in requests to push servers (!141) Fail at startup if TLS cert/key is configured but does not exist (instead of falling back to HTTP port) (!146, by @sheogorath) Export metrics about types of push servers (!150)