Add extra flags to PicoSATLoadTime Project

[LuAbelt]

• Adds debug flag to the compilation of PicoSATLoadTime for better feature detection
• Adds ConfigParams to workload

[codecov]

Codecov Report

Attention: Patch coverage is 50.00000% with 1 lines in your changes are missing coverage. Please review.

Project coverage is 66.49%. Comparing base (954882a) to head (bc49a24).

Files	Patch %	Lines
varats/varats/projects/c_projects/picosat.py	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff            @@
##           vara-dev     #877   +/-   ##
=========================================
  Coverage     66.49%   66.49%           
=========================================
  Files           344      344           
  Lines         27935    27935           
=========================================
  Hits          18575    18575           
  Misses         9360     9360           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.