Merge pull request #9723 from keymanapp/chore/core/9721-rename-keyboardprocessor.h-to-keyman_core_api.h chore(core): rename keyboardprocessor.h to keyman_core_api.h