New upstream release.
    
    Also:
    - Emacs support has been dropped upstream; obsolete the -emacs subpackage.
    - Recommend ProofGeneral.
    - Install more icon sizes.
    - Bring the config dir back for system-wide configuration.
    - Fix the antlr4-python3-runtime version.