Add Brian Silverman to AUTHORS+CONTRIBUTORS.