ID 42

- Remove old duplicated dictionaries
- Hide search icon
- Fix some links on newer Android

Merge pull request rdoeffinger#9 from yourealwaysbe/master

added support for gradle.properties to specify util library location

Dummy translations to silence lint.

Add hacks to help debug download issues.

Play store released version 5.1.0 (ID 37).

Fix selecting FreeSerif in settings.

Add recovered DE-NL dictionary.

More recovered dictionary files.

Thanks for providing them!

Move Theme class into DictionaryApplication.

That is where it is mostly used, and it simplifies
compiling the DictionaryPC part.