* ci: add manual dispatch docker publish workflow * ci: fix date in dispatch trigger * ci: avoid specifying gpg keyserver in multiple places