[kpm] Axioms search agent added
[kpm] Theorems search agent added
[kb] Tasks classification added
[kpm] Proof search agent added
[kb] Formal statements added
[kb] Formal task solutions added
[kb] System structure description added
[kb] Encoding fixed
[kb] formal statement linked to sc-statement for one example
[kb] Formal statements updated
[scripts] IMS KB copy script added
Merge pull request #20 from ShunkevichDV/master

1) Search agents added 2) KB updated