Deleted make_db.sh

This script does not work reliably, and it is not so much of an effort to create database by hand.