Now that the Python mapper proxy is stable enough to be used full-time, delete the old, built-in TinTin mapper map and related scripts.