plom-manager: button to download marks.csv

Should be easy to make Manager download the same marks.csv file as plom-finish csv?