Add gpl-3.0.txt; README; and ignore proptools.pyc.