Updated index

Rephrased some wordings to clarify meaning. Added info that Catrobat is
a  FOSS project. Deleted obsolete formula-editor subproject (now merged
into master branch).