database clean-up and latest map

when you update the map text file, just do

    cd contribut/tscsolver
    node tsc-loader.js

and it will sync it!