new sat (general inductive predicates) and ent (linearly compositinal predicates)

[lequangloc]

I have added:

• 9 benchmarks into qf_shid_sat
• 13 benchmarks into qf_shlid_ent
• 13 benchmarks into qf_shid_ent

Please help to review and merge.

Regards, Loc

[slcomp]

Thank you Loc for this great contribution. I'll contact you quickly if I found any problem in this benchmark.