Remove developer-old.gnome.org

It's time to drop it, now that most projects have switched over to self-hosted API references, and all the non-API content has been migrated over to the new website.