This adds options for:
- RTS command line flags (-rtsopts and -nrtsopts in clm)
- Stack profiling (-tst, -ntst)
- Time profiling (-pt, -npt)
- Memory profiling (-mp, -nmp)
It also fixes a typo in the descexl option
This adds options for:
It also fixes a typo in the descexl option