Safari: small locale improvements

Since there is no API for localization in Safari, we read the locale files
every time when an extension page opens.
This commit adds a new file "make-locale-safari.py", which will make the
size of the locale files smaller.
Safari: fix tooltips for dynamic filtering
Merge pull request #406 from Deathamns/ports/safari

Safari updates