Create list of tactics provided by std++

E.g. set_solver, naive_solver, simplify_option_eq, etc.

As suggested by @msammler in !78 (comment 38387)