Move CSVs from Google Docs into repo

[Timmmm]

We probably shouldn't be downloading unversioned CSVs from Google Docs at this point...

I would suggest the simplest option for now is to vendor them in the repo and manually update them when necessary. Or just edit them in place with OpenOffice or whatever. You lose the colouring but everything else should work.

[Timmmm]

Ah wait never mind, I missed this comment:

# Rule to download CSVs. These files are checked in and only re-downloaded when you `make download`.

Nonetheless the spreadsheet seems to be out of date anyway now so maybe we should just remove it. make download doesn't seem to actually work, but if it did you get this diff:

-"vstidc","0xA80","vstid","H","Read: VS, Write: VS, <<asr_perm>>","tag=0, otherwise undefined","Update the CSR using <<SCADDR>>.","direct write","","","","✔","Zstid","Virtual supervisor thread ID","","","","","","","","","","","","","","","","","","","","",""
+"vstidc","0xA80","vstid","VS","Read: H, Write: H, <<asr_perm>>","tag=0, otherwise undefined","Update the CSR using <<SCADDR>>.","direct write","","","","✔","Zstid","Virtual supervisor thread ID","","","","","","","","","","","","","","","","","","","","",""

[tariqkurd-repo]

we need a replacement flow first, maintaining the CSV is a pain. It's just that an import is required following a bug fix by @francislaus