Finished the transition to GitHub pages

This removes the remaining leftovers. MattBot :tm: already manually edited or left them out during previous deployments, but it makes things easier for the future when we automatize it with a less clever machine. This will also not break openra.res0l.net, because rsync won't delete previous files.