remove Debian maintainer

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@8787 64cb5145-927a-446d-8aed-2fb7b4773692
darwin13 support

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@8788 64cb5145-927a-446d-8aed-2fb7b4773692