Only pass SeeC's additional linking options to seec-ld, rather than giving them
to the Driver when building the Compilation. This allows the Driver to correctly
detect when the user has not given any input files.