added solvers for trigonometric inequations
added processing of definite integrals
Merge pull request #17 from mkotov/master

added solvers for trigonometric inequations and processing of definite integrals