use dockerized Emacs for CI
use dockerized Emacs for CI