[cmake] Export Lepton symbols

Addresses part of #284.