SymbolTable.cc

C++17 modernization: use std::optional for the storage of orig_symb_id and orig_lead_lag in SymbolTable

For the diff and unaryOp auxvar types, these value may be set or unset
depending on the complexity of the expression represented by the auxvar.