Tilda (version 1.1.12): New Package

Tida is a GTK-based drop-down terminal emulator
tilda: fixups; seems to work now

- xgettext hack inspired by a guix thread
- gsettings to prevent crashes
- expression refactoring