64 bit ready

Made it 64 bit ready, replaced some deprecated methods, removed some old catalog entries, renamed the whole thing from "Developer Module" to "Developer Plugin".

I actually wanted to include the developer documentation again, but that turned out to be more complicated than anticipated. So for now the 64 bityness must be enough.