added csv.py, a CSV reader with type conversion