very small cleanup

old files removed
slight cosmetic
add mirror for kconfig-frontends tarball