Migrate Aquamacs 2.5 cask from homebrew-cask.