Add num3-mode
num3-mode: use “num3--” as prefix for private symbols

Previous version of num3-mode used “-num3” as a prefix for private
symbols which goes against the style used in the rest of Emacs.
This commit changes the prefix to “num3--”.
* num3-mode.el: Fix footer.  Reported by Jonas Bernoulli <jonas@bernoul.li>.