deleting some really old doc

I don't think that anyone needs these files anymore. (And for the rare case that someone would need them, then theres still git)