On the Development and Use of Educational Portal on Geometric Heritage of Al-Farabi as a Means of Informatization of Teaching the History of Mathematics