Add IF EXISTS to drop database
Merge pull request #1 from luser/hacking

A few changes
use fileinput for symbols.py for easier testing