Drop and remove CSV support
There is still a lot of code around specifically to handle CSV, in particular data types, e.g., serialising to CSV and parsing from CSV. JSON lines is the much better format for this purpose and will be the only one supported going forward, so let's get rid of all this unmaintained legacy code.