Changes in v2.19.3

Commits since v2.19.2:

config: remove per provider launch prefix, add global launch prefix config (c354a59)
fix: remove smart-case fuzzy finding. always ignore case (46e6886)
refactoring: add action to delete history in central flow (ca42f47)
fix(files): propoerly cleanup wal and shm database files (645e7ca)
fix: install service without exec bit (#197) (8cce354)

... instead a general launch_prefix has been added to the global elephant config.