A BASH script to split a CSV file into one or more (possibly smaller) CSV files