rm empty unused files and dirs

Because this conflicts with our github synchronisation tool.