poly-v0.2.1

• add support for ksmt
• support MathSAT 5.6.{3,8}
• take delta into account for id_theta
• add supported external solvers to readme
• bump v0.2.1