[gnome-shell] tools: Remove obsolete check-for-missing script

[Florian Müllner <fmuellner src gnome org>]

commit f453b3780f9821cdf0b76e2c2278a9c8ff010678
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Sep 30 03:08:59 2017 +0200

    tools: Remove obsolete check-for-missing script
    
    The script was used by a distcheck hook to check for files that are
    in git, but not the distributed tarball. We dropped autotools support,
    so the script is no longer used - in fact, it isn't useful anymore,
    as `ninja dist` generates tarballs from git itself rather than from
    a separately maintained list of files ...

 tools/check-for-missing.py |   26 --------------------------
 1 files changed, 0 insertions(+), 26 deletions(-)