Make fdroid lint use the categories as defined as part of the repo config, rather than the hardcoded ones. This also purges all remnants of repo/categories.txt which hasn't been used in a long time.
fdroid lint
@grote @uniqx @jspricke