Delete old dev wiki

I also think we can delete .gitattributes and maybe some others....