use fileinput for symbols.py for easier testing
Merge pull request #2 from luser/hacking

use fileinput for symbols.py for easier testing
Make symbol URL configurable