Remove kformula as discussed on k-c-d.
It needs better maintainership, more apps using it, to follow the review process, and to avoid the code duplication with koffice...