debian/patches: Add patch to use the system libstemmer library.

This way we depend on even fewer embedded libraries.