Introduce ("header"="true") option for CSV parsing

Change-Id: I473bc7b66d0c0d1355b5fb3e392cb9ece151e50e
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/226
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Ian Maxon <imaxon@uci.edu>
Tested-by: Chris Hillery <ceej@lambda.nu>
12 files changed